Re: [Haskell-cafe] Syntax for lambda case proposal could be "\of"

15 Aug 2007


      On Wed, Aug 15, 2007 at 06:58:40PM +0100, Duncan Coutts wrote:
...
On Wed, 2007-08-15 at 10:50 -0700, Stefan O'Rear wrote:
...
OTOH, your proposal provides (IMO) much more natural syntax for
multi-pattern anonymous functions, especially if we stipulate that
unlike a case (but like a lambda) you can have multiple arguments; then
you could write stuff like:
sumTo0 = foldr (\of 0 k -> 0
                    n k -> n + k) 0
Anyone else like this?
Why not just:
sumTo0 = foldr (\0 k -> 0
                 n k -> n + k) 0
Because it would break a very large amount of old code, and I think H'
was supposed to be upward compatible:

foo = getSomethingCPS $ \ arg ->
      moreStuff

is now a syntax error (\ { varid -> } matches no productions).

Stefan