| ... | ... | @@ -137,6 +137,19 @@ This proposal simplifies the story for composition: we don't have to worry about |
|
|
|
- The syntax for infix qualified operators is heavier: ``Prelude.(>>=)`` vs. `Prelude.>>=`
|
|
|
|
- Using the workaround `let (>>=) = Prelude.(>>=) in ...` does not work, because `>>=` has the default fixity.
|
|
|
|
- ``...`` and `(...)` are not dual
|
|
|
|
- we lose some consistency with sections, which become quite unwieldy with the new syntax:
|
|
|
|
|
|
|
|
```wiki
|
|
|
|
left section right section prefix
|
|
|
|
unqualified (+ 1) (1 +) (+)
|
|
|
|
Haskell 98 (M.+ 1) (1 M.+) (M.+)
|
|
|
|
proposed (`M.(+)` 1) (1 `M.(+)`) M.(+)
|
|
|
|
or(*) (M.(+) 1) (flip M.(+) 1)
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
(\*) only if precedence isn't important, e.g. not in cases like ``M.(+)` x `M.(*)` y`.
|
|
|
|
|
|
|
|
|
|
|
|
## References
|
|
|
|
|
| ... | ... | |