[Haskell-cafe] Generalizing (++) for monoids instead of using (<>)

Stephen Tetley stephen.tetley at gmail.com
Mon Apr 2 19:15:05 CEST 2012


It is somewhat idiomatic to read it as TeX's \diamond symbol. Various
papers set with Lhs2TeX use it for general composition operator
(sometimes concat / mappend).

On 2 April 2012 10:05, Yves Parès <yves.pares at gmail.com> wrote:
> Plus one might argue that using <> to mean different is a bad choice, as it
> graphically means "strictly inferior or strictly superior" which implies
> comparability, whereas equality and comparison are two different things.
> (e.g. Eq and Ord are two distinct classes in Haskell).



More information about the Haskell-Cafe mailing list