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.