Глава 12. Расширения языка

10 Обобщённые алгебраические типы данных

Обобщённые алгебраические типы данных, или GADT, расширяют обычные типы-суммы двумя способами: ограничения на параметры типа могут меняться в зависимости от конструктора значения, а некоторые переменные типа могут квантифицироваться экзистенциально. Они описаны в главе 7.

(Добавлено в OCaml 4.00)

constr-decl	::=	...
	∣	constr-name : [ constr-args -> ] typexpr

type-param	::=	...
	∣	[variance] _

Случаи опровержения. (Добавлено в OCaml 4.03)

matching-case	::=	pattern [when expr] -> expr
	∣	pattern -> .

Явное указание имён экзистенциальных типов. (Добавлено в OCaml 4.13.0)

pattern	::=	...
	∣	constr ( type { typeconstr-name }⁺ ) ( pattern )