10.4 Локально абстрактные типы

(Введены в OCaml 3.12, короткий синтаксис добавлен в 4.03)

Выражение fun ( type typeconstr-name ) -> expr вводит конструктор типа с именем typeconstr-name, который считается абстрактным в области подвыражения, но затем заменяется свежей переменной типа. Обратите внимание, что вопреки тому, что может подразумевать синтаксис, выражение fun ( type typeconstr-name ) -> expr само по себе не приостанавливает вычисление expr, как это делала бы обычная абстракция. Синтаксис был выбран для удобства использования в контексте объявлений функций, где он обычно применяется. Можно свободно смешивать обычные параметры функции с псевдопараметрами типа, как в:

let f = fun (type t) (foo : t list) -> …

и даже использовать альтернативный синтаксис для объявления функций:

let f (type t) (foo : t list) = …

Если необходимо ввести несколько локально абстрактных типов, можно использовать синтаксис fun ( type typeconstr-name₁ … typeconstr-name_n ) -> expr в качестве синтаксического сахара для fun ( type typeconstr-name₁ ) -> … -> fun ( type typeconstr-name_n ) -> expr. Например,

let f = fun (type t u v) -> fun (foo : (t * u * v) list) -> …
let f' (type t u v) (foo : (t * u * v) list) = …

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

let f (type t) () =
  let module M = struct exception E of t end in
  (fun x -> M.E x), (function M.E x -> Some x | _ -> None)

Вот еще один пример:

let sort_uniq (type s) (cmp : s -> s -> int) =
  let module S = Set.Make(struct type t = s let compare = cmp end) in
  fun l ->
    S.elements (List.fold_right S.add l S.empty)

Он также чрезвычайно полезен для модулей первого класса (см. раздел 10.5) и обобщенных алгебраических типов данных (GADTs: см. раздел 10.10).

Полиморфный синтаксис

(Введен в OCaml 4.00)

Конструкция (type typeconstr-name) сама по себе не делает введенную ею переменную типа полиморфной, но ее можно сочетать с явными полиморфными аннотациями по мере необходимости. Данное правило представлено в качестве синтаксического сахара для упрощения этого:

let rec f : type t1 t2. t1 * t2 list -> t1 = …

автоматически преобразуется в

let rec f : 't1 't2. 't1 * 't2 list -> 't1 =
  fun (type t1) (type t2) -> ( … : t1 * t2 list -> t1)

Этот синтаксис может быть очень полезным при определении рекурсивных функций, использующих GADTs, см. раздел 10.10 для более подробного объяснения.

Такая же функция предоставляется для определений методов.