爲什麼Elm使用'++'運算符連接字符串？

Question

我正在學習Elm，我發現很多有吸引力的東西，比如它的優雅和簡單。然而，我發現令人費解的一個方面是它使用「++」連接字符串。例如：

> "hello" ++ " world" 
"hello world" 

加法按您期望的方式工作。

> 2 + 3 + 9 
14 

大多數的高級語言如C＃/的Java/JavaScript的/ Python中使用一個單一的加號「+」在類似的方式多個號碼將被總結連接字符串。它看起來更加直觀，因爲連接字符串如求和數字具有一定的一致性。

有沒有人知道設計決定背後的邏輯在這種情況下使用++而不是+？

Answer 1

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不同如果你真的在考慮數字，這將是一個很大的負擔......

Answer 2

這可能是爲了避免超載操作員。

當使用變量時，靜態地推斷類型甚至提高可讀性可能很有用，因爲它清楚正在做什麼（字符串連接如果++或算術如果+）。

在沒有強類型的語言中（我不知道ELM是否屬於這種情況），使用相同的表示法可能會導致在實際運行程序之前無法知道變量是如何完成的，這使得它比較慢。

XQuery使用||而不是+，有些語言甚至對小數使用不同的符號，如CAML中的+.。

Answer 3

按照docs，該++運算符用於追加列表：

-- 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版本，絲線表示字符的哈斯克爾啓發列表。版本0.9引入了一個新的字符串庫（請參閱announcement這裏），所以它看起來像++運算符持續存在，儘管字符串不再被表示爲列表。

Answer 4

連接和加法是完全不同的屬性操作。例如，加法是可交換的（在整數上，浮點數是不同的），而連接最明顯的不是。通過某些語言重複使用操作符的任意決定是它們之間最強的連接，你可以找到。

即使重載是有意義的，你也會觸及該語言的靜態特性 - 這種操作符的類型應該是什麼？

目前的操作符對魔法類number：

(+) : number -> number -> number 

雖然你可以有一個新的魔法型numberorstring和+功能將是多態的兩個不同的語義，這隻會引入更多的幻成語言。