spam at scientician.net
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