Mon Oct 12 14:14:49 CEST 2009

Tool decoupling (embedded ML)

Compiler compilers.  Essentially, can Staapl be formulated in such a
way that the compiler itself is generated?  If it can be written as an
ML-style data transformer, conversion to a fast and simple
implementation (i.e OCaml) should be possible.

Rationale: removing PLT Scheme from the dependencies (might be
difficult due to dependence on module system though) and making
compilation a fast operation.