Yitzchak Gale writes:

> Philippa Cowderoy wrote:
> >> I don't find it any more confusing than the overloading
> >> of ->.
> 
> I wrote:
> > You mean that it is used both for lambda abstractions
> > and for functional dependencies? True, but those
> > are so different that there is no confusion.
> 
> Oh, and case. Also quite different.

Also type and kind signatures.

The use in case and lambda abstractions strike me as analogous. They
both have a pattern to the left and an expression to the right.
-- 
David Menendez <[EMAIL PROTECTED]> | "In this house, we obey the laws
<http://www.eyrie.org/~zednenem>      |        of thermodynamics!"
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime

Reply via email to