Elmが '++'演算子を使用して文字列を連結するのはなぜですか？

Question

私はエルムを学んでおり、その優雅さとシンプルさなど、魅力的なものがたくさん見つかります。しかし、私が困惑しているのは、文字列を連結するために "++"を使用することです。例：

> "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は数字タイプです。

理論的に代わりList、String、FloatとIntが含まれるであろうhasPlus型の変数を定義することは可能かもしれないが、多様関数を定義するとき、あなたは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に、文字列は文字のHaskellのほうふつリストとして表されました。バージョン0.9では、新しい文字列ライブラリが導入されました（announcementを参照）ので、文字列がリストとして表示されなくても、演算子が永続化されたように見えます（++）。

Answer 4

連結と追加は、性質が異なる完全に異なる操作です。例えば、加算は可換です（整数の場合、浮動小数点は異なる獣です）。連結は最も確実です。オペレータをいくつかの言語で再利用するという恣意的な決定は、あなたが見つけることができる最も強い接続です。

オーバーロードが意味をなさない場合でも、言語の静的な性質を打つことになります。そのような演算子のタイプは何でしょうか？

現在、オペレータは、魔法タイプnumber上で動作します：

(+) : number -> number -> number 

あなたが新しい魔法タイプnumberorstringを持っている可能性があり、+関数は、2つの異なる意味を持つ多型であろうが、これが唯一にしても多くの魔法導入されるだろう言語。