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

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

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

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

вхождение переменной в выражение является связанным, если оно является связанным вхождением в одном из лямбда подвыражений, являющихся частью выражения

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

вхождение переменной в выражение может быть как связанным, так и свободным

• # Пусть z переменная и выполнено присваивание z := r. Что справедливо при вызове z.call([x, y])?
• # Когда выполняется присваивание x := agent r, то переменная x должна принадлежать специальному типу, часто называемому функциональным, поскольку объектами этого типа являются функции и процедуры. В Eiffel этот тип задается классом ROUTINE и тремя его потомками – классами PROCEDURE, FUNCTION, PREDICATE. Какой из этих классов обозначает запросы, возвращающие тип BOOLEAN?
• # Какие утверждения является корректными?
• # Какие утверждения справедливы относительно лямбда определения функции:
• # Какие поля и методы имеет класс Subscriber?