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
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..