GADTs and pedagogy was Re: GADTs and fundeps
Shae Matijs Erisson
shae at ScannedInAvian.com
Fri Apr 8 10:05:27 EDT 2005
"Simon Peyton-Jones" <simonpj at microsoft.com> writes:
> You mean, if the data type being defined doesn't actually use the
> generality of GADTs, allow GADT syntax, and deriving() too?
Yes, that would be very nice for the HaskellDemo and new users.
I'd definitely switch all of my non-GADT datatypes to use that.
Pugs does use GADTs fully in some parts, but I don't know if deriving would
be useful there.
Programming is the Magic Executable Fridge Poetry, | www.ScannedInAvian.com
It is machines made of thought, fueled by ideas. | -- Shae Matijs Erisson
More information about the Glasgow-haskell-users