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

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

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

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

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

в этом примере $[\lambda x : X | [\lambda y : Y | x+y]] (y)$ бета-редукция не применима(Верный ответ)

бета-редукция всегда применима

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

существует свободная переменная связно входящая в выражение exp

(Верный ответ)

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

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

в выражения exp1

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

Выражение

может быть получено из выражения exp2

путем подстановки – заменой вхождений переменной

подвыражением

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

Композиция функций

– это специальная операция над функциями, которая обозначается как $g \circ f$ или f; g

. Результатом операции является функция h(x)

, такая что h(x) = g(f (x))

для любого применимого аргумента

. Какие утверждения справедливы по отношению к функции h(x)

Пусть дано лямбда-выражение: $\lambda x : INTEGER | [\lambda y : INTEGER | x+y+z ]$ При выполнении альфа преобразования можно:

Композиция функций

– это специальная операция над функциями, которая обозначается как $g \circ f$ или f; g

. Какие утверждения справедливы по отношению к этой операции?

Рассмотрим выражение: $\lambda y : INTEGER | f (x, [\lambda x : INTEGER | x+y])$ Какие утверждения справедливы?

Определим сигнатуру композиции двух функций f ; g

следующим образом: $";": [[X \to Y ] ? [Y \to Z ]] \to [X \to Z]$ Какие утверждения справедливы?

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

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

Что позволяет карринг при его применении к функции

аргументов?