Hi, Am Montag, den 06.06.2016, 13:30 +0200 schrieb Herbert Valerio Riedel:
This proposal is an attempt to resolve this unfortunate and confusing situation by completing the `Semigroup`/`Monoid` vocabulary with a standard left-associative alias. Please see
https://ghc.haskell.org/trac/ghc/wiki/Proposal/LeftAssocSemigroupOp
for more details.
I’m have a few qualms. * There is no precedent for offering the same operator with different fixities. Is this not totally confusing to many users? Will they confuse syntactic fixity with the efficient way? I am fearing thoughts like “A, I should not use (++) to append lists to long lists, but luckily there is >< which has the right fixity”? * Is it worth using up yet another operator name in a commonly imported module? With nice things like <*>, <$> and <> taken, I sometimes have a hard time giving names to my own operators. It could be put in a usually-not-imported module (Data.Monoid.LeftAssociative) and re-exported by affected APIs (pretty- printing libraries), with a proper explanation in their haddock. This way, both qualms are mitigated and contained. Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • https://www.joachim-breitner.de/ XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org