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.