База ответов ИНТУИТ

Введение в теорию программирования. Функциональный подход

<<- Назад к вопросам

Какой вид имеет правая часть БНФ для типов SML-выражений?

(Отметьте один правильный вариант ответа.)

Варианты ответа
int|bool |<тип>*…<тип>|<тип> -> <тип>(Верный ответ)
int|bool |<тип>*…<тип>
int|bool |<тип> -> <тип>
Похожие вопросы
Какой вид имеет правая часть БНФ для аппликации SML-выражений?
Какой вид имеет правая часть БНФ для комбинаторного терма?
Какой из типов можно определить рекурсивно?
На каком этапе определяются типы выражений в языке SML?
Какой из объектов не имеет обозначения в формах Бэкуса-Наура?
Что означает выводимость типов?
Каким образом осуществляется построение типов?
Как осуществляется приписывание типа в теории типов?
Что отличает теорию типов от прочих теорий?
Каковы основные компоненты чистой системы типов?