Объектно-ориентированное программирование и программная инженерия

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

Какие утверждения справедливы для лямбда-выражения?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

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

задает описание сигнатуры функции - имена аргументов и их типы(Верный ответ)

с помощью лямбда-выражения можно определить только функции одного аргумента

начинается греческой буквой $\lambda$ (лямбда)(Верный ответ)

частью лямбда-выражения является выражение, задающее определяемую функцию(Верный ответ)

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

Имена в подвыражениях лямбда выражения могут конфликтовать. Какие утверждения справедливы относительно устранения возникающей некорректности записи выражения?

Какие утверждения справедливы относительно лямбда определения функции:

Одной из основных операций, применяемых к лямбда-выражениям, является операция, называемая бета-редукцией, позволяющая избавиться от связанных переменных выражения путем подстановки. Лямбда-выражение: $[\lambda x : X | exp] (e)$ преобразуется в выражение exp [x := e]

Какие утверждения справедливы для бета-редукции?

Какие утверждения справедливы для связанных и свободных переменных выражения:

Под трансформацией лямбда-выражения будем понимать последовательное выполнение ряда операций, включающих альфа-преобразование и бета-редукцию. Пусть заданы две различные трансформации, преобразующие лямбда-выражение exp

в выражения exp1

. Согласно теореме Черча – Россера:

Связанные переменные лямбда-выражения это:

Какие утверждения справедливы?

Какие утверждения справедливы для полиморфного контейнера: