9 Jul
2016
9 Jul
'16
3:09 a.m.
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)! Cheers Christian Am 08.07.2016 um 14:00 schrieb Henrik Nilsson:
Hi all,
[...]
As a final point, the inherent asymmetry of the proposal (the last argument position is special as, for certain kinds of expressions, parentheses may be omitted there but not elsewhere) is also deeply unsettling.
Best,
/Henrik