6 Oct
2010
6 Oct
'10
7:06 a.m.
On 4 October 2010 00:38, Conal Elliott <conal@conal.net> wrote:
I like it!
Are the other sections available as well, e.g.,
(if False then else "Cafe") "Haskell" --> "Cafe"
They are not, though this would certainly make sense for lambda-if. It's not so clear with lambda-case because of the issue of free variables. Potentially we could support something like this, but it's a bit scary-looking: (case x of Just -> ; Nothing ->) (\y -> "I'm a Just") "I'm a nothing" Cheers, Max