[Haskell] GADT: call for proper terminology

Bulat Ziganshin bulat.ziganshin at gmail.com
Wed Oct 11 03:58:20 EDT 2006

Hello oleg,

Wednesday, October 11, 2006, 6:12:23 AM, you wrote:

>> Annotate the data type using a GADT:
>> data MyData a where
>>  MyCon :: MyData a

> It helps to reduce confusion about the merits of various features and
> additions to Haskell if we use the term GADT exclusively for truly
> _generalized_ algebraic data types.

imho, the error was inventing new syntax for GADTs instead of just adding
type guards to the old one

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com

More information about the Haskell mailing list