База ответов ИНТУИТ

Функциональное программирование

<<- Назад к вопросам

Как определяется конструкция letrec?

(Отметьте один правильный вариант ответа.)

Варианты ответа
letrec x=e1 in e2 => (λx.e2)e1
letrec x=e1 in e2 => (λx.e1)e2
letrec x=e1 in e2 => (λf.[x/f]e1)e2
с помощью комбинатора неподвижной точки Y(Верный ответ)
Похожие вопросы
Как определяется конструкция let?
Пусть геометрическое преобразование определяется функцией трансляции координат int*int →​ int*int. Мы хотим определить функцию сдвига translate : int*int, которая возвращался бы замыкание. Как это сделать?
При введении списков, как определяется функция отделения первого элемента hd?
Как определяется наименьшая неподвижная точка непрерывной функции f в соответствии с теоремой о неподвижной точке?
Разреженная матрица размерности nXn с m ненулевыми элементами представляется в виде функции int*int →​ float. Какова будет сложность операции умножения всех элементов матрицы на 2?
Как определяется множество значений для типа, описанного как type tree = {nil} + int X treeX tree?
Пусть L – генератор последовательности длины n. Какова сложность операции map f L?
В чем разница между конструкциями fun и function в F#?
В чем разница между конструкциями fun и function в F#?
Пусть mul3 – каррированная функция умножения трех целых чисел, mul3 = xyz.x*y*z. Какой будет тип у выражения (mul3 5)?