Applied Category Theory in the Wolfram Language Using Categorica I

Can this be applied to IDK Refactoring, Intermediate Reoresentation design, or Compilation?

"Codemod"

/? codemod: https://hn.algolia.com/?q=codemod

https://news.ycombinator.com/context?id=39139198