9 Jul
2016
9 Jul
'16
7:42 a.m.
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,