[Haskell-cafe] Re: Simple GADT parser for the eval example

Stefan Monnier monnier at iro.umontreal.ca
Tue Oct 31 03:23:20 EST 2006

> ...No surprise there, since there is no way to fail in the event of a
> maltyped "Expr".  The next thing to try is a type class solution... 

Think about it: you need to do type checking.
For our little language we used Template Haskell to do your "Expr -> Term a"
translation, thus the type-checking of our input programs is actually done
by Haskell's type checker ;-)

See our PLPV paper http://www.iro.umontreal.ca/~monnier/tct.pdf


More information about the Haskell-Cafe mailing list