Tue May 27 14:51:34 CEST 2008

macro instantiation is memoization

What about looking at the code instantiation problem as a form of
memoization? A macro that is inlined twice can be replaced by a single
instantiation and an indirection.

Doing this automatically could lead to a simpler (beginner) language
that does not need a programmer-specified distinction between Macro
and Forth modes.