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

Какая операция называется каррированием?

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

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

преобразование из алгебраической формы в аппликативную(Верный ответ)

преобразование из константной формы в аппликативную

преобразование из аппликативной формы в алгебраическую

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

Какая операция не является основной операцией в ламбда-исчислении?

Какая операция категориальной комбинаторной логики эквивалентна цитированию?

Что называется числом де Брейна?

Какая из формализаций адекватна для программирования?

Какая задача формализуема рекурсивно?

Какая формализация относится к операционным семантикам?

Какая из теорий не является формализацией семантики?

Какая из формализаций является наиболее зрелой?

Какая формализация относится к денотационным семантикам?