[Haskell-cafe] reading existential types

Jim Apple jbapple+haskell-cafe at gmail.com
Tue Jul 10 13:26:00 EDT 2007


> reading existentials (or gadts, for that matter)
> is an interesting problem. sometimes too interesting..

http://www.padsproj.org/

is a project that allows automated reading codde for even some
dependently-typed data. Perhaps it has something to offer for
automatic deriving of Read instances for GADTs?

Jim


More information about the Haskell-Cafe mailing list