[Haskell-cafe] Simple GADT parser for the eval example
mrchebas at gmail.com
Wed Nov 1 13:18:27 EST 2006
It seems that I am late for the party but we used a "GADT parser" in the
tool we built for our "Generating Generic Functions" paper. It so happens
that I made slides for this material so, if you're interested you can have a
look at .
The motivation for doing this was that we needed to check whether a simply
typed lambda calculus term satisfies a property or not. The road we took was
software testing, but for that we needed evaluation and hence the GADT
You might like the fact that these well-typed terms include binding
constructs such as lambda abstractions and variables. The code uses some
tricks that I borrowed from Conor McBride and company :).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe