Sat Feb 13 09:49:27 CET 2010

Staged programming vs. partial evaluation

SP and PE are really two different approaches.  The main difference
being that SP is explicit: all reductions are expressed by the
_programmer_, while in PE all reductions happen automatically.

MetaOCaml seems better suited for SP because of the Code data type.
I'm going to stop pursuing this route in Haskell due to lack of proper
quotation operations.

Haskell seems better suited for PE because of the type classes / ad
hoc polymorphism.  Essentially, in Haskell you can take a datatype
approach using generic code while in MetaOCaml you write specialized
code operating on a specialized data type.

Or something like that..