Какое множество значений у типа T1 → Т2?
Какое множество значений у прямой суммы T1+T2?
Пусть геометрическое преобразование определяется функцией трансляции координат int*int → int*int. Мы хотим определить функцию сдвига translate : int*int, которая возвращался бы замыкание. Как это сделать?
При введении списков, как определяется функция отделения первого элемента hd?
Как определяется конструкция letrec?
Как определяется конструкция let?
Как определяется наименьшая неподвижная точка непрерывной функции f в соответствии с теоремой о неподвижной точке?
Какого типа выражение async { return 10; }?
Какого типа выражение <@@ (1+2)*3 @@>?
Разреженная матрица размерности nXn с m ненулевыми элементами представляется в виде функции int*int → float. Какова будет сложность операции умножения всех элементов матрицы на 2?