Mon Jun 9 10:50:22 CEST 2008
I'd like to factor macro and target:
macro: just the functional macro metalanguage, no instantiation
target: only instantiation (compilation) and optimization
Is this a good use of time? Probably not.. The macro language is never
useful without instantiation.. it really is just composition of unary
functions which after all isn't terribly interesting if you never
evaluate them. So ditch this..
What does need to happen is to trim dependencies of the target
representation structure. Currently, it needs 'scat' for some
evaluation stuff. Fixed.