[Haskell-cafe] GHC Extension Proposal: ArgumentBlock

[Richard Eisenberg]

I'm quite ambivalent on this proposal. But I think that it makes the language *more* regular, not less: Look at https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-220003, the Haskell 2010 Report on expression syntax. This proposal (if we include `if`, `let`, and `case`, along with `\` and `do`, which would seem to make it more consistent) amounts to dropping the /lexp/ nonterminal and combining it with /aexp/. Simple! You have to add "Lambdas and `else` clauses extend as far to the right as possible (not taking fixities into account)" but we already have that.

So I don't think that arguments against this proposal that make claims about regularity, or lack thereof, really stand close scrutiny.

Richard