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