Какая конструкция используется в языке SML для рекурсивного определения типов?
(Отметьте один правильный вариант ответа.)
Варианты ответа
letrec
datatype(Верный ответ)
let
Введение в теорию программирования. Функциональный подход
Похожие вопросы
Что означает выводимость типов?
Что отличает теорию типов от прочих теорий?
Как осуществляется приписывание типа в теории типов?
Каким образом осуществляется построение типов?
Какой из типов можно определить рекурсивно?
Какой вид имеет правая часть БНФ для типов SML-выражений?
Что из перечисленного является этапом развития теории типов?
Каковы основные компоненты чистой системы типов?
Для каких доменов рекурсивные определения разрешимы?
Для чего используются кортежи в языке SML?