Как использовать тип Ocaml с отображением функций?

Question

У меня есть тип, определяемый как type abc = bool->int;;, который объясняет простое сопоставление от bool до int. Мой вопрос: как я могу использовать этот type abc?

Как, например, если у меня был

type Color = Red|Green|Blue|Dark of Color|Light of Color;;

Тогда я мог бы использовать что-то вроде Dark Red;; имея type Color. Но теперь я не могу использовать этот новый type abc.

Answer 1

Этот тип abc является синонимом для bool -> int, а не нового типа. Поскольку он не является новым типом, OCaml уже может вывести тип для вас. Причина объявления такого типа заключается в документации.

Итак, лучший ответ на ваш вопрос заключается в том, что вы должны использовать abc, если хотите документировать тип чего-то.

type abc = bool -> int 

let apply (f: abc) (b: bool) : int = 
    f b 

let myfun : abc = fun b -> if b then 3 else 4 

В вашем другом примере color представляет собой новый тип. Если бы вы не объявили об этом, это не было бы.

(Обратите внимание, что имена типов в OCaml должны начинаться со строчной буквы. Вы не можете иметь тип по имени Color.)

Update

Вы должны различать имена типа (например color и int) и конструкторы (например, Red и Dark и 412). Вы не можете сопоставлять соответствие именам типов. Вы можете сопоставить соответствие по значениям (например, Red или Dark Red или 412). У вашего типа abc нет конструкторов. Это синоним.

Это также верно, поскольку @melpomene указывает, что для значений функций не существует равенства. Таким образом, вы не можете сопоставлять значения функций.