W OCaml, dlaczego konstruktor listy :: nie jest operatorem

Question

Czytałem dziś książkę online Jason'a Hickey'a "Wprowadzenie do Objective Caml" oraz w rozdziale o funktorach (strona 140) Wbiegłem do poniższej linii wewnątrz zestawu funktora definicja:

let add = (::) 

Uruchomienie kodu zaowocowało niezbyt pouczającym komunikatem o błędzie "Składnia błędu". Po wtyczce w wierszu do tablicy informacyjnej zorientowałem się, że :: nie jest w rzeczywistości operatorem, ale raczej konstruktorem typu.

Jednak z tego, co wiem o Haskellu, równoważny konstruktor : może być również traktowany jako operator (funkcja).

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

Moje pytanie brzmi: czy konstruktorzy SML nigdy nie było wartości klasy pierwsze (co oznacza, że ​​kod z książki myliłem od początku) i dlaczego tak się dzieje?

Answer 1

W Caml Light, poprzedniku OCamla, było tak, że konstruktorzy, którzy awansowali do funkcji po częściowym zastosowaniu. Nie jestem do końca pewien, dlaczego ta funkcja została usunięta podczas przechodzenia do OCaml, i ja też lamentuję, ale wyjaśnienie, które usłyszałem, brzmiało "nikt tego nie używał". Więc nie ma już List.map Some foo ...

:: jest nieco specjalny jako algebraiczną konstruktora typu danych, jak to jest tylko konstruktor infix (ustalony w parser), ale inaczej zachowuje się jak każdy inny konstruktor typu danych.