In OCaml, warum ist der Listenkonstruktor :: kein Operator

Question

Ich las heute Jason Hickey's Online-Buch "Einführung in Objective Caml" und im Kapitel über Funktoren (Seite 140) lief ich in der folgenden Zeile innerhalb der Set Funktoren Definition:

let add = (::) 

Das Ausführen des Codes führte zu einer nicht sehr aufschlussreichen 'Syntaxfehler'-Fehlermeldung. Nach dem Plugin in der Zeile in ocaml Toplevel habe ich herausgefunden, dass :: eigentlich kein Operator, sondern ein Typkonstruktor ist.

Allerdings, von dem, was ich weiß, von Haskell der Äquivalent : Konstruktor kann auch als Operator (Funktion) behandelt werden.

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

Meine Frage ist: hat OCaml Bauer nie erste Klasse Werte gewesen (was bedeutet, dass der Code aus dem Buch von Anfang an falsch war), und warum ist dies der Fall?

Answer 1

In Caml Light, OCamls Vorgänger, war es früher so, dass Konstruktoren zu Funktionen wurden, wenn sie teilweise angewendet wurden. Ich bin mir nicht ganz sicher, warum diese Funktion entfernt wurde, als ich zu OCaml wechselte, und ich beklage das auch, aber die Erklärung, die ich hörte, war "niemand hat das benutzt". Also keine List.map Some foo mehr ...

:: ist etwas Besonderes, wie eine algebraische Datentyp Konstruktor, da es der einzige Infix Konstruktor (fest einprogrammiert im Parser), aber ansonsten verhält sich wie jeder andere Datentyp Konstruktor.