14
ответов
Который языки поддерживают *рекурсивный* функциональные литералы / анонимные функции?
Это кажется довольно многими основными литералами функции поддержки языков в эти дни. Они - также вызванные анонимные функции, но я не забочусь, есть ли у них имя. Важная вещь состоит в том что функция...
вопрос задан: 29 January 2011 17:51
3
ответа
Каковы преимущества letrec?
При чтении "Закаленного Интригана" я начал узнавать о letrec. Я понимаю то, что это делает (может быть дублирован с Y-Combinator), но книга уже использует его вместо возвращения на...
вопрос задан: 16 May 2016 23:21
0
ответов
Как использовать исправление и как оно работает?
Меня немного смутила документация по исправлению (хотя я думаю, что теперь понимаю, что оно должно делать), поэтому я посмотрел в исходном коде. Это сбило меня с толку: fix :: (a -> a) -> a
...
вопрос задан: 15 July 2019 05:05
0
ответов
Преобразование функции, которая вычисляет фиксированную точку
У меня есть функция, которая вычисляет фиксированную точку в терминах итерации: EquityClosure :: (Ord a) => Relation a -> Relation a
эквивалентностьClosure = fst. List.head - "гарантировано" ...
вопрос задан: 7 July 2019 00:35
0
ответов
Как «letrec» реализуется без использования «set!»?
Как можно реализовать letrec без использования set !? Мне кажется, что набор! является императивной конструкцией программирования, и при ее использовании теряются преимущества функционального программирования.
вопрос задан: 19 December 2012 02:15
0
ответов
letrec в Scala? (Неизменяемый способ «связать себя узами брака?»)
Предположим, у меня есть дурацкий маленький case-класс вроде такого: case class Foo(name: String, other: Foo) Как я могу определить a и b неизменяемо так, чтобы a.other есть b, а b.other есть a? Предоставляет ли scala какой-то способ...
вопрос задан: 18 June 2012 13:42