Одной из основных операций, применяемых к лямбда-выражениям, является операция, называемая бета-редукцией, позволяющая избавиться от связанных переменных выражения путем подстановки. Лямбда-выражение: преобразуется в выражение Какие утверждения справедливы для бета-редукции?

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

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

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

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

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

• # Какие виды тестирования не применяются на практике?
• # Проектирование семейства классов начинается с создания класса – прародителя семейства. Как правило, такой класс является отложенным классом, называемым также абстрактным классом. Какой же класс называется отложенным?
• # В классе Р задан эффективный метод М с постусловием "Т > 10". Наследник этого класса Р1 переопределил этот метод, задав соответственно постусловие: ensure then "Т > 20". Класс Р2 - наследник Р1 в свою очередь переопределил этот метод, задав соответственно постусловие: ensure then "Т > 50". Класс Р3 - наследник Р2 в свою очередь переопределил этот метод, задав соответственно постусловие: ensure then "Т > 100". Клиенту требуется вызвать метод, обеспечивающий на выходе истинность условия: "T > 70". Методы каких классов могут гарантировать истинность выполнения этого условия?
• # Пусть проектируется класс VECTOR[ELEMENT], задающий вектор, тип элементов которого задается параметром класса. Операции класса предполагают возможность выполнения арифметических операций как над элементами вектора, так и над векторами. Какие утверждения справедливы в этом случае?
• # Какие факторы качества ПО относятся к долговременным факторам?