Fri Sep 5 02:16:24 CEST 2008

MetaML vs Scheme Macros

In MetaML's staged programming, the substitution is done on binding
expressions: the static analysis knows which are binding constructs
and which are variable references.  For Scheme macros this is not
possible for generated code, however, it is possible to identify
bindings using bound-identifier=?

I'm confused...