Почему проще формулировать и доказывать корректность программ на чистом функциональном языке?
Как определяется функция в λ-исчислении?
Как определяют рекурсивные вычисления в лямбда-исчислении?
Какие есть основные модели вычислений?
Какие базовые операции чистого лямбда-исчисления?
Какие основные способы борьбы со сложностью используются в функциональных программах?
Алгоритм вывода типов W содержит в себе следующие основные этапы:
Сколько потоков выполнения операционной системы будет порождаться при выполнении операции Async.RunSynchronously(Async.Parallel([ for i in 1..100 → async { return fib(i) }]))?
Разреженная матрица размерности nXn с m ненулевыми элементами представляется в виде функции int*int → float. Какова будет сложность операции умножения всех элементов матрицы на 2?
Пусть L – генератор последовательности длины n. Какова сложность операции map f L?