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

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

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

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

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

аргументы функции(Верный ответ)

переменные, на которые наложены дополнительные ограничения

переменные, связанные друг с другом

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

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

Зависимые переменные лямбда-выражений, также как и формальные параметры методов в программировании, могут быть переименованы без потери смысла. Операция, выполняющая такое преобразование в лямбда-выражениях, называется альфа – преобразованием. При выполнении этого преобразования зависимой переменной x можно дать:

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

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

в выражения exp1

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

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

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

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

Что такое лямбда исчисление? Укажите корректные высказывания

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

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

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

Какие выражения синтаксически корректны в Eiffel?