Юрайт. Функциональное программирование

1.Если все аргументы во все процедуры передаются по необходимости, то такой способ работы называют:

линейным вычислениями

прямым вычислениями

ленивыми вычислениями

потоковым вычислениями

 

2.С помощью чего можно легко определить функцию линеаризации дерева?

 

3.Укажите верное соответствие набора «стандартных» функций с их назначением.

PRED

EQ0

SUB

ADD

MULT

DIV

 

4.Какой регистр содержит последовательность троек, описывающих содержимое трех остальных регистров?

регистр хранения состояний

регистр управления состояний

регистр контекста состояний

регистр стека состояний

 

5.Лямбда-выражение имеет вид (где x — имя переменной, а e — выражение):

(λx.e)

(x).(λe)

(x. λe)

λ(x.e)

λ(x).(e)

 

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

7.Как называется функция, которая не содержит внутри себя свободных переменных и констант, в том числе примитивных функций?

8.Какие по умолчанию все конструкторы в Haskell?

 

9.Какая эквивалентность выражений означает, что если применить эти выражения к одному и тому же аргументу, то получатся одинаковые результаты?

комбинаторная

функциональная

абстрактная

пропорциональная

 

10.Сколько основных функций содержит Eval/apply-интерпретатор Маккарти?

две

пять

одну

три

 

11.При каком исполнении операторов программы меняются значения составляющих контекст программы переменных?

при замкнутом

при параллельном

при циклическом

при последовательном

 

12.Свойство функции n аргументов, благодаря которому можно вызывать ее с произвольным числом аргументов, меньшим или равным n, называется:

13.Любую рекурсивную функцию можно преобразовать таким образом, чтобы все рекурсивные вызовы в ней были:

 

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

карринг

класс

конструкт

контракт

 

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

 

16.Как называется класс, содержащий операцию (<*>)?

монадной функцией

аппликативным функтором

моноидной операцией

функторным аргументом

17.Как называется язык программирования, который построен на последовательном исполнении команд?

 

18.Как называется пара из списка пройденных и списка непройденных элементов?

величина в списке

точка в списке

позиция в списке

координата в списке

 

19.Что приводит к тому, что существенное значение начинает иметь последовательность выполнения действий?

переименование переменных новыми ссылками

перераспределение переменных с новыми индексами

преобразование переменных с новыми величинами

присваивание переменным новых значений

 

20.С чего начинаются идентификаторы объектов — значений простых и сложных типов, в том числе функций?

со строчной буквы

с символа стрелки

с символа подчеркивания

с символа равенства

с курсивной буквы

с прописной буквы

 

21.Какое понятие объединяет в себе понятие конечного типа и конструктора типов?

понятие монады

понятие функтора

понятие класса

понятие сорта

22.Что, как и любой ассоциативный список, предназначен для того, чтобы заносить в него ассоциативные пары и производить поиск в нем значения, связанного с заданным ключом?

ассоциация

контекст

интерпретатор

модификатор

 

23.Какими функциями являются все арифметические операции?

нормальными

примитивными

составными

формальными

 

24.Выражение для какой функции можно получить, если построить некоторое вспомогательное выражение, а затем применить к нему Y-комбинатор Карри?

 

25.Как называются пары, в которых одно значение связано с другим?

модификаторы

ассоциации

позиции

сечения

 

26.При выполнении какой редукции образуется копия тела функции, представленной лямбда-выражением, и затем выполняется подстановка, при которой ссылки на свободные вхождения переменной этого лямбда-выражения в копии заменяются ссылками на аргумент?

β-редукции

δ-редукции

λ-редукции

k-редукции

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

итерации

кортежа

свертки

рекурсии

 

28.Какая редукция выполняется по правилам, определенным исполняемой примитивной функцией?

β-редукция

λ-редукция

δ-редукция

k-редукция