Почему Elm использует оператор «++» для объединения строк?

Elm позволяет вам определять полиморфные функции.

Параметрический полиморфизм — это когда функцию можно применять к элементам любых типов:

f : (a, b) -> (b, a)
f (x, y) = (y, x)

Специальный полиморфизм — это когда функцию можно применить к элементам некоторых типов:

g : appendable -> appendable -> appendable -> appendable
g x y z = x ++ y ++ z

h : number -> number -> number
h x y = (x + 2) * y

Переменные типа number и appendable являются особыми, поскольку они представляют собой подмножество всех типов Elm. List и String — это типы appendable, а Float и Int — числовые типы.

Теоретически можно было бы вместо этого определить переменную типа hasPlus, которая включала бы List, String, Float и Int, но тогда при определении полиморфной функции вам нужно было бы знать, что возможно, что x + y отличается от y + x, и это будет довольно тяжело, если вы на самом деле думаете о числах...

Конкатенация и сложение — совершенно разные операции с разными свойствами. Например, сложение является коммутативным (для целых чисел числа с плавающей запятой — разные звери), а конкатенация — определенно нет. Произвольное решение повторно использовать операторы некоторыми языками является самой сильной связью между ними, которую вы можете найти.

И даже если бы перегрузка имела смысл, вы бы задели статическую природу языка — какого типа должен быть такой оператор?

В настоящее время оператор работает с магическим типом number:

(+) : number -> number -> number

Хотя у вас мог бы быть новый магический тип numberorstring, а функция + была бы полиморфной с двумя разными семантиками, это только внесло бы в язык еще больше магии.

Это может быть сделано для того, чтобы избежать перегрузки оператора.

Может быть полезно статически выводить типы или даже улучшать читаемость при использовании переменных, поскольку тогда становится ясно, что делается (конкатенация строк, если ++, или арифметика, если +).

В языках, которые не являются строго типизированными (я не знаю, так ли это в Elm), использование одной и той же нотации может сделать невозможным узнать, что делается с переменными, до фактического запуска программы, что делает ее медленнее.

XQuery также использует || вместо +, некоторые языки даже используют другие обозначения для десятичных знаков, например +. в CAML.

Согласно документам, оператор ++ используется для добавления списков:

-- alias for appending lists and two lists
append xs ys = xs ++ ys
xs = [1,2,3]
ys = [4,5,6]

-- All of the following expressions are equivalent:
a1 = append xs ys
a2 = xs ++ ys

b2 = (++) xs ys

c1 = (append xs) ys
c2 = ((++) xs) ys

До версии 0.9 строки представлялись в виде списка символов в стиле Haskell. В версии 0.9 появилась новая библиотека строк (см. объявление), поэтому она похоже, что оператор ++ сохранился, несмотря на то, что строки больше не представлены в виде списка.