alias Perché in Haskell `mappend` è` <> `invece di` `+

Question

Come nel titolo:

Perché in Haskell, mappend (dalla classe Monoid) Alias ​​è <> invece di +?

[modifica - ha aggiunto la motivazione] Nei corsi di algebra + viene solitamente utilizzato per monoid binario operatore.

Answer 1

La funzione + è specifica per i numeri e inoltre è solo un modo per implementare Monoid per i numeri (* è ugualmente valido). Allo stesso modo, con i booleani, sarebbe ugualmente valido usare && e ||. Utilizzando il simbolo + si suggerisce che i mono sono circa in aggiunta in particolare, quando in realtà si tratta di qualsiasi operazione associativa .

E 'vero che, almeno nella mia esperienza, uno è probabile che l'uso mappend in un modo che assomiglia più: concatenazione di liste o vettori, prendendo le unioni di set o mappe, ecc, ecc, tuttavia, la mentalità Haskell favorisce generalità e l'aderenza ai principi matematici su (probabilmente) ciò che è più intuitivo. È certamente ragionevole, a mio parere, per pensare a di mappend come una sorta di aggiunta generale e apportare modifiche nei casi in cui non lo è.

Answer 2

In parte a causa della principle of least astonishment e in parte perché ci sono almeno two sensible monoid instances for numbers (cioè, Sum e Product da Data.Monoid).