Какой будет следующий шаг при нормальном порядке редукции выражения (λx.x+x)(2+3)?
При аппликативном порядке редукции:
Пусть mul3 – каррированная функция умножения трех целых чисел, mul3 = xyz.x*y*z. Какой будет тип у выражения (mul3 5)?
Разреженная матрица размерности nXn с m ненулевыми элементами представляется в виде функции int*int → float. Какова будет сложность операции умножения всех элементов матрицы на 2?
При нормальном порядке редукции:
Какой список будет порожден конструкцией [1..2..10]?
Какой будет наиболее общий тип для функции tl: let tl x::t = t?
Какой будет результат сопоставления let x::y::z = [1;2]?
Какой будет результат выполнения let x::y = [1;2;3;4] ?
Чему равен результат выражения nondet { return 10; } для монады недетерминированных вычислений?
