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

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

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

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

неприменимость бета-редукции имеет аналогию в программировании – это конфликт имен формальных аргументов метода и полей класса(Верный ответ)

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

если бета-редукция не применима, то устранить причину некорректности невозможно

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

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

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

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

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

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

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

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

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

в выражения exp1

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

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

При определении агента его операндами являются как аргументы метода, присоединяемого к агенту, так и цель вызова. Операнды агента могут быть как открытыми, так и закрытыми. Какие утверждения справедливы относительно операндов агента?

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

Какие утверждения относительно экспорта компонентов класса справедливы в Eiffel?