On: Modular, composable, typed optimizations in the ta...

[still_grokking]

Tagless-final as a pattern works also fine in OO languages. It's called "object algebras" there.

https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-objec...

In general it's one of the most elegant solutions to the expression problem I've seen so far.

[codeflo → still_grokking]

What a brilliant article! This approach deserves be more widely known I think, thanks for the link.