On: Monads and Macros

[Ericson2314]

People continue to study metaprogramming / representations of syntax especially with binding, and category theory applications to programming.

Yes, the blog post is bad and just rehashing old aphorisms, but that doesn't mean the broader research agenda stalled out.