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

Правильный ответ:

любое другое имя без всяких ограничений на выбор нового имени

новое имя, например , при условии, что новая переменная не является свободной переменной лямбда-выражения

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

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

• # Пусть заданы классы P, F, M, S, D, где P – родитель классов F и M, класс F – родитель S, а M – родитель D. Пусть созданы объекты этих классов – op, of, om, os, od. Какие утверждения являются несправедливыми?
• # Какие утверждения справедливы для отложенного класса и его объектов?
• # При проектировании программной системы многие классы связываются отношением наследования. Какие утверждения справедливы для наследования?
• # Пусть заданы классы P и F – родители класса S, а M – метод с одним и тем же именем в классах P и F. Какие утверждения в этой ситуации являются справедливыми?
• # Какие факторы процесса разработки оценивают качество механизмов, применяемых для создания ПО?