Mon Jul 14 10:59:55 CEST 2008

typed vs. untyped

Been browsing through Oleg Kiselyov's papers on code generation. Most
of it seems to be based on MetaOcaml and a translation to C. It might
be interesting to try to summarize the difference between MetaOcaml's
approach to staging, and the hygienic 'syntax->datum / 'datum->syntax.