24 Apr
2009
24 Apr
'09
2:02 a.m.
On 23 Apr 2009, at 9:45 pm, Lennart Augustsson wrote:
(+) + 1 + 1 = (+)
The thing that is bad about this is that it binds the same identifier "+" twice in the head, to two different things. It's not really any different from (+) + 1 = (+) which doesn't have anything to do with n+k patterns, but is obnoxious in the same way. If Haskell' removes the ability to bind the same name two different ways in the same left-hand-side, I for one won't weep, _however_ many people currently do it.