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

Каковы основные компоненты чистой системы типов?

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

Варианты ответа

сорта, аксиомы, функциональные пространства(Верный ответ)

сорта, аксиомы, правила вывода

алфавит, сорта, аксиомы

Похожие вопросы

Каковы основные компоненты формальной теории?

Каковы основные компоненты формальной теории комбинаторной логики?

Каковы основные операции формальной системы комбинаторной логики?

Каковы основные стратегии вычислений?

Каковы основные свойства отношения конвертируемости?

Каковы основные способы задания типа?

Каковы основные пути оптимизации КАМ-кода?

Каковы основные формализации ленивых вычислений?

Каковы основные условия для декартово замкнутых категорий?

Что означает выводимость типов?