[Haskell-cafe] Re: proposal: point free case expressions

[Eugene Kirpichov]

Addendum: This would also work nicely for matching on multiple arguments.

elem = \(_ Leaf -> False; x (Fork a l r) | a==x -> True; | a>x -> elem
x l; | otherwise -> elem x r)

2009/11/5 Eugene Kirpichov <ekirpichov at gmail.com>:
> How about \{Left err -> print err; Right msg -> putStrLn msg} ?
>
> 2009/11/5 Stefan Monnier <monnier at iro.umontreal.ca>:
>>> We could really use a case statement in which we skip the scrutinee and make
>>> (case of {})' be syntactic sugar for `(\x -> case x of {})'.
>>
>>> So we could write:
>>
>>>> myFunc = anotherFunc $ case of
>>>> Left err -> print err
>>>> Right msg -> putStrLn msg
>>
>>> A minor syntactical addition, a big win!
>>
>> Since this "case" really defines a function, it seems like it would make
>> more sense to allow defining anonymous functions by pattern matching.
>> I.e. instead of "case of", I think it should use "λ", "\", "fn", or ...
>>
>>
>>        Stefan
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>
>
>
> --
> Eugene Kirpichov
> Web IR developer, market.yandex.ru
>



-- 
Eugene Kirpichov
Web IR developer, market.yandex.ru