Proposal: ArgumentDo

Bardur Arantsson spam at
Sat Jul 9 07:42:06 UTC 2016

On 07/09/2016 09:09 AM, C Maeder wrote:
> The asymmetry that you mention is already apparent for (Haskell98) infix
> expressions, i.e. when "composing" lambda- or if-expression:
>  (if c then f else g) . \ x -> h x
> Parentheses around the last argument of "." do not matter, but
> parentheses around the first argument make a real difference (that the
> type checker will not detect)!

What I'm reading here is essentially

  "Parser already does non-obvious thing"
      ===> "Adding more non-obvious things is fine!"

This is simply bad reasoning, and I'm not sure why a number of people
are saying it. Am I missing something?


More information about the Glasgow-haskell-users mailing list