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