Fri Sep 26 09:53:21 CEST 2008

MetaML vs. Template Haskell

What I dont get.. On the TH website:

  Template Haskell is an extension to Haskell 98 that allows you to do
  type-safe compile-time meta-programming.

Then on Oleg's site:

  In the process, we develop a simple type system for a subset of TH
  code expressions (TH is, sadly, completely untyped).

So what's this? Type-safe manipulation of untyped code?  Maybe the
point is that TH allows _syntactic_ correctness by using a
type-checked AST, but doesn't allow the type checking to run until it
is effectively spliced into code and passes the compiler.