Верно, это GADT (настраиваемый абстрактный тип данных).

Вы можете перейти к следующему разделу.

Вы можете также:

PREVIOUS Вернуться к вопросу

OUTLINE Вернуться к содержанию Урока 11

David A. Wheeler ([email protected])

Перевод:   Общая редакция перевода:

Исходная копия этого документа находится по адресу "http://www.adahome.com/Tutorials/Lovelace/s11sfr2.htm".

Исходная копия перевода размещена на сайте http://www.ada-ru.org