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