Sat Aug 11 18:16:42 EDT 2018

Tagless final and macro processing

The really cool thing about tagless-final is that there is no explicit
handling of object language, other than as functions.  From the
(meta-)programmer's perspective, they feel like the same thing.

Obviously, there is a distinction at some point, where the object
language is being interpreted (or compiled), but it is not in the
programmer's way.

This is what I wanted to accomplish with Staapl, but it required the
creation of a new language as metalanguage (cat).  Tagless-final
avoids that.