Mon Oct 31 10:59:05 EDT 2011

Cross Stage Persistence

I was thinking about code generation, and didn't see what a true
multi-stage language like MetaOCaml would bring over the
typed-class-and-untyped-syntax approach that is easy to do in Haskell.
Of course, as mentioned elsewhere (probably somewhere here[1]) the big
deal is cross-stage persistence.  For maximum flexibility, you want to
be able to call library functions in generated code.

For me that's not an issue, since I'm only using it for offshoring.
The target is limited in that there are mostly no libraries needed;
it's all low-level calculations.

[1] http://okmij.org/ftp/