Пусть геометрическое преобразование определяется функцией трансляции координат int*int → int*int. Мы хотим определить функцию сдвига translate : int*int, которая возвращался бы замыкание. Как это сделать?
Пусть mul3 – каррированная функция умножения трех целых чисел, mul3 = xyz.x*y*z. Какой будет тип у выражения (mul3 5)?
Как определяется конструкция letrec?
Как определяется конструкция let?
Какой тип имеет функция eval в Eval/Apply-интерпретаторе?
Как определяется наименьшая неподвижная точка непрерывной функции f в соответствии с теоремой о неподвижной точке?
Какова сложность проверки вхождения элемента в список длины n?
Какова сложность добавления элемента в конец списка длины n?
Какова сложность добавления элемента на первое место списка длины n?
Разреженная матрица размерности nXn с m ненулевыми элементами представляется в виде функции int*int → float. Какова будет сложность операции умножения всех элементов матрицы на 2?