Hacker News Reader

Tagless-final is also closely related to the technique of object algebras [0], which I use pretty often -- at least at the design stage, before flattening out some of the degrees of freedom. See this other blog post [1] for more about both.

[0] "Extensibility for the masses", https://www.cs.utexas.edu/~wcook/Drafts/2012/ecoop2012.pdf

[1] "From Object Algebras to Finally Tagless Interpreters", https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-objec...

View on HN

Lovely! I think it speaks to the value of an idea that it is developed independently more than once.

It should be noted as it is in the abstract of your first reference that these are elaborations on the core idea of Church encodings (and Boehm-Berarducci encodings).

There is also that video [0] discussing object algebras as a solution to the expression problem.

[0] "Who's Afraid of Object Algebras?" https://www.infoq.com/presentations/object-algebras/

Reply on news.ycombinator.com