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?
Regards,
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users