Sun Sep 19 16:10:36 CEST 2010

Meta system : which one to pick?

The current c preprocessing is a bit ad-hoc.  Libprim should probably
stay implemented in C, but the meta-system should be converted to a
single language.

Can we do the pre-pricessing with a real C parser?  I know of 3 that
are useful.

  * Racket + c.plt : doesn't seem to be maintained

  * OCaml + Frontc (godi) : seems to work + might work in metaocaml too

  * Haskell + Language.C : not tried yet

Because I'm a bit afraid of using Haskell in a real-world app that
might need some stateful hackery, and because c.plt needs more effort
to get into and fix, it seems that the real alternative is Frontc.  I
believe MetaOCaml also uses parts of this.

As mentioned [4] there is also LLVM Clang.  

[1] http://planet.plt-scheme.org/package-source/dherman/c.plt/3/2/planet-docs/c/index.html
[2] entry://../meta/20090227-102018
[3] http://hackage.haskell.org/package/language-c-0.3.2
[4] entry://../meta/20090719-164343