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

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

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

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

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

всегда преобразует исходную функцию в функцию от одного аргумента

понизить только на одну единицу число аргументов, превратив исходную функцию в функцию от N-1

аргумента

преобразовать исходную функцию в функцию от N – M

аргументов(Верный ответ)

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

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

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

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

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

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

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

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

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

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

Выражение

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

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

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

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

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

в выражения exp1

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

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

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

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

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

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

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

Функции, аргументы которых функциями не являются, назовем функциями первого порядка. Функции, аргументы которых являются функциями, назовем функциями высшего порядка. Функциями порядка k назовем функции, у которых хотя бы один аргумент является функцией порядка k – 1, и у которых нет аргументов более высокого порядка. Какие утверждения справедливы?

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