4 ms·
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 s
by Twisol 6y ago
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 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-object-algebras-to-finally-tagless-interpreters-2/ https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-objec...
- bitdizzy 6y agoLovely! 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).
- dwenzek 6y agoThere 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/ https://www.infoq.com/presentations/object-algebras/