OCaml явные подписи типа

Question

В Haskell считается хорошей практикой явно объявлять сигнатуру типа ваших функций, даже если она (обычно) может быть выведена.Кажется, что это даже невозможно в OCaml, например,

val add : int -> int -> int ;;

дает мне ошибку.(Хотя я могу сделать type модули, которые дают только подписи.)

1. Правильно ли я в том, что это невозможно сделать в OCaml?
2. Если так, почему?Система типов OCaml не кажется невероятно отличной от Haskell.

Answer 1

OCaml имеет два способа указания типов, они могут быть встроены:

let intEq (x : int) (y : int) : bool = ...

или они могут быть помещены в файл интерфейса, как вы сделали:

val intEq : int -> int -> bool

Я полагаю, что последний предпочтительнее, поскольку он более четко отделяет спецификацию (тип) от реализации (кода).

---

Рекомендации : OCaml для Haskellers

Answer 2

В общем, синтаксис для let -привязать значение с ограниченным типом:

let val : constraint = e ...

Применительно к функции вы можете указать подпись следующим образом:

let add : int -> int -> int = fun x y -> ...

Это аналогично синтаксису, необходимому для ограничения модуля подписью:

module Mod
  : sig    ... end
  = struct ... end