Моя проблема: я хочу получить Y-комбинатор из определения точки фиксации (define Y1 (lambda (f) (f...

Я читаю книгу по λ-исчислению «Функциональное программирование через лямбда-исчисление» (Грег...

Кто-нибудь знает, как реализовать Y-комбинатор в Scheme, особенно с ленивой оценкой и...

Я изучаю C ++. В качестве упражнения для себя я пытаюсь определить функцию Фибоначчи из...

Я написал Y-комбинатор следующим образом: template <class F> struct Y{ F f; Y(F _f) : f{_f}...

Это обычное определение комбинатора с фиксированной точкой в ​​Haskell: fix :: (a -> a) -> a...

Просматривая эту статью о Y-комбинаторе (которую я настоятельно рекомендую), я наткнулся на это...

Я бы хотел в деталях разобраться, как нам удалось получить от выражения лямбда-исчисления...

Я баловался с элегантными (?) Способами написания посетителей для std::variant, и я не уверен, что...

Я пытаюсь использовать y-комбинатор для определения gcd в scala: object Main { def y[A,B]( f : (A...

Почему тип этой функции (a -> a) -> a? Prelude> let y f = f (y f) Prelude> :t y y :: (t ->...

У меня есть рекурсивная функция (в C #), которую мне нужно вызывать около 800 миллионов раз; это,...

Я пытался решить проблему максимальной суммы подпоследовательностей и придумал сложное решение msss...

Примечание: это своего рода домашняя работа, а не - конечная цель - иметь функцию, которая...

Комбинатор K равен K := (λxy.x), а комбинатор с фиксированной точкой - Y := λf.(λx.f x x) (λx.f x...

Мой мозг, кажется, находится в мазохистском режиме, поэтому после того, как его утопили в этом ,...

Я возился с Коминаторами в JavaScript и гордился (надеюсь) заставить S работать, когда наткнулся на...

Я пытаюсь выучить Y-комбинатор лучше (я вроде понимаю это на Схеме) и внедрить его в D 2.0, и я...

У меня есть функция, которая вычисляет фиксированную точку в терминах итерации: equivalenceClosure...

Так что я играю с y-комбинатором и анонимными функциями, и я столкнулся с этой странной ошибкой:...

Несколько дней назад я зашел на этот сайт на тему "Анонимная рекурсия в C #". Суть статьи в том,...

Существует ли комбинатор с фиксированной точкой для создания кортежей взаимно рекурсивных функций?...

В последнее время я провел некоторое время, оборачиваясь вокруг комбинатора Y, и обнаружил, что он...