13 Dec
2006
13 Dec
'06
11 p.m.
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