OCamlではなぜリストコンストラクタは::演算子ではない

Question

私は今日Jason Hickeyのオンラインブック「Objective Camlの紹介」とFunctorsの章（140ページ）の章でSet Functorの中の次の行を読みました定義：

let add = (::) 

コードを実行すると、「構文エラー」というエラーメッセージが表示されませんでした。 ocamlトップレベルへのプラグインの後、私は::が実際には演算子ではなく、むしろタイプコンストラクタであることを理解しました。

しかし、私がHaskellについて知っていることから、相当する:コンストラクタは演算子（関数）としても扱うことができます。

Prelude> :t (:) 
(:) :: a -> [a] -> [a] 

私の質問がある：OCamlのコンストラクタは、最初のクラスの値（本からのコードが最初から間違っていたことを示唆している）とされていなかった理由は、このケースですか？

Answer 1

OCamlの前身であるCaml Lightでは、以前は部分的に適用されていたときに、機能に昇格されたコンストラクタが使用されていました。 OCamlに移ったときになぜこの機能が削除されたのか正確にはわかりませんが、これも嘆いていますが、私が聞いた説明は誰も使っていませんでした。それは（パーサにハードコード）のみ中置コンストラクタですが、それ以外は他のデータ型のコンストラクタのように振る舞うように、もう何List.map Some foo ...

::は、代数的データ型のコンストラクタとして少し特別ではありません。