Just to cheerlead Tom, as I have nothing to add but wouldn't want it to seem like no one agreed, I also think this is a great idea. The objection on the Reddit thread about dependent functions isn't prohibitive: both of these features will be GHC extensions anyway. They can be exclusive. On Feb 18, 2018 05:11, "Tom Ellis" < tom-lists-haskell-cafe-2013@jaguarpaw.co.uk> wrote:
-- Not valid Haskell!! Can't pattern match on constructor only... magic = \case Var -> id Not -> not And -> (&&) Or -> (||) If -> (==>) Iff -> (==)
This has often seemed to me to be a natural extension of case syntax. There is a short analysis in the following Reddit post:
https://www.reddit.com/r/haskell/comments/7s0ski/ lambdacase_in_the_wild/dt1zzyy/
I would be strongly in favour of adding an extension to do this (unless someone can find a reason that it couldn't work).
Tom _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.