2
ответа
Рекурсивные лямбды в F#
Возьмите этот пример кода (проигнорируйте его являющийся ужасно неэффективным в настоящий момент), позвольте listToString (lst:list <'a>) =;'; украсьте фиксируют, позволяют rec внутренний (lst:list <'a>) буфер =;'; украсьте фиксируют...
вопрос задан: 15 July 2019 04:59
1
ответ
Использование комбинатора неподвижной точки? Почему переполнение стека здесь?
Я смущен чем-то. Я хотел генерировать пример (в Clojure) демонстрирующий, как комбинатор неподвижной точки мог использоваться для оценки фиксированной точки последовательности это математически...
вопрос задан: 7 July 2019 00:04
0
ответов
Комбинатор с фиксированной запятой в Haskell
Комбинатор с фиксированной запятой не всегда давать правильный ответ с учетом определения: fix f = f (fix f) Следующий код не завершается: fix (\ x-> x * x) 0 Конечно, исправить не всегда ...
вопрос задан: 24 July 2019 17:14
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
ответов
haskell — установил fixedpoint библиотеку?
я ищу библиотеку, которая вычислит фиксированную точку / закрытие набора под многими операторами переменной арности. Например, fixwith [(+)] [1] для целых чисел должен вычислить все N (...
вопрос задан: 7 July 2019 00:34