Wed Feb 3 17:01:04 CET 2010

MetaOCaml and functors, or Haskell and typeclasses

The main question: is it really so beneficial to have type safety for
generating numeric code?  It's quite hard to make type errors in flat
routines that deal with numbers only.

From this perspective it might be more convenient to use the more
powerful language for defining abstract operations that generate code
as a side effect, i.e. in ANF, trivially translated to C?

EDIT: Maybe this typed MSP is not so all-important for a first order
language...  Let's see how far I get in Haskell and untyped ASTs.