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