[<<][staapl][>>][..]
Fri Sep 26 09:53:21 CEST 2008

MetaML vs. Template Haskell

What I dont get.. On the TH website:
http://www.haskell.org/th/

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

Then on Oleg's site:
http://okmij.org/ftp/Computation/Generative.html

  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.




[Reply][About]
[<<][staapl][>>][..]