Тип “подмножество типа” может быть параметризован набором переменных d

Структурный тип параметризован, если параметризован один из его компонентных типов. В качестве параметра может выступать также имя типа.

Если <имя типа>, встречающееся в правой части определения типа, не есть имя примитивного типа и этот тип не объявлен как параметр, то должно существовать определение для этого типа

Замкнутая совокупность определений типов ― любой встречающийся тип либо является примитивным, либо имеет определение, либо считается параметром для некоторых типов из совокупности определений

Рекурсивный тип ― определение типа прямо или косвенно, через совокупность определений, использует этот тип

Примеры рекурсивных типов

Специальный тип NIL = { nil }; nil обозначает пустую последовательность

Тип последовательности, составленной из элементов типа T:

Seq(T) = NIL + (T Seq)

Тип списка LIST для языка Лисп: LIST = Seq(ATOM)

ATOM = NIL + NUM + SYMBOL + LIST NUM = INT + REAL

SYMBOL = STRING STRING = Seq(CHAR)