Главная /
Функциональное программирование /
Как определяется конструкция letrec?
Как определяется конструкция 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 Сложность вопроса
72
Сложность курса: Функциональное программирование
54
Оценить вопрос
Комментарии:
Аноним
Это очень нехитрый вопрос интуит.
04 мар 2018
Аноним
Если бы не эти ответы - я бы не решил c этими тестами интуит.
21 авг 2016
Другие ответы на вопросы из темы программирование интуит.
- # Какие из преобразований надо применить, чтобы редуцировать (λx.sin x) 0 → 0?
- # При введении списков, как определяется функция отделения первого элемента hd?
- # Что такое пропозициональная семантика языка программирования?
- # Как записать выражение для последующего параллельного вычисления значения функции fib?
- # Какая рекурсия называется линейной?