[Haskell-cafe] Type Class Query

Ketil Malde ketil+haskell at ii.uib.no
Tue Feb 3 20:34:04 EST 2004

"Iavor S. Diatchki" <diatchki at cse.ogi.edu> writes:

> it refers to type constructor.  

Okay, thanks for the clarification.

> since value constructors are not allowed
> in the "instance head" the terminology is not ambiguous.

You know, I'm going to have to take issue with this.  Yes, it's not
ambigous if you knew the answer.  I think error messages should be
targetted at those who didn't know the answer, and doubly so for Hugs
which is often used by beginners, and is arguably the easiest Haskell
distribution to get up and running.

(Just my $0.02 and all that)

> on the other hand saying "type" would be wrong, as variables
> are (in a way) types

Huh?  Do you mean "type variables"? :-)

If I haven't seen further, it is by standing in the footprints of giants

More information about the Haskell-Cafe mailing list