y-combinator

0зной

2ответ

Issue пропускание замыкания, которое принимает ускользающее замыкание на функцию, которая принимает закрытие этого типа

В старом быстром мире (2.0 я считаю) у меня был реализация следующих Y-комбинатор func Y<T, R>(f: (T -> R) -> (T -> R)) -> (T -> R) { return { (t: T) -> R in return f(self.Y(f))(t) }

6зной

1ответ

Как использовать Y-Combinator; почему эта бесконечная рекурсия возвращает 9?

Y - комбинатор Я пытался узнать о Y - комбинаторы (объяснение на том, что было бы прекрасно, а) и наткнулся на пример из этой wiki. Подробное объяснение по этому вопросу было бы высоко оценено либо в

1зной

1ответ

Y-Combinator factorial в javascript работает для чисел не для церковных цифр.

Мне удалось реализовать кодовое кодирование и Y-Combinator, используя функцию со стрелкой ES6 в javascript. Но когда я попытался оценить функцию факториала, FALSE = a => b => b TRUE = a => b => a Z

0зной

1ответ

Как вызвать функцию с несколькими аргументами, используя комбинатор Y в ocaml?

Я пытаюсь понять комбинатор Y в OCaml. Я взял код от here, и я пытаюсь использовать его для записи функции Ackermann. В примерах в ссылке функции требуют только одного аргумента. Функция Ackermann тре

4зной

1ответ

Y Схема реализации схемы

Я действительно новичок в программировании функциональных схем. Недавно я встретил функцию Y-combinator в исчислении лямбда, что-то вроде этого Y ≡ (λy.(λx.y(xx))(λx.y(xx))). Я хотел реализовать его в

-1зной

1ответ

Отключить рекурсию в Ruby для принудительного использования Y Combinator

Как рекурсия Ruby может быть «саботирована», чтобы отключить способность рубиновых методов участвовать в рекурсии? Необходим для создания программы обучения лямбда-исчислению, но с использованием Ruby

1зной

2ответ

Рекурсивная функция лямбда-исчисления

Я хотел бы создать функцию лямбда-исчисления P такую, что дает ((x y)(x P)(P z)). Я пробовал использовать варианты комбинатора Y-combinator/Turing, то есть функции формы λg.(g g), так как мне нужно во

7зной

2ответ

Объясните эту реализацию комбинатора Y в Scala?

Это реализация Y-комбинатора в Scala: scala> def Y[T](func: (T => T) => (T => T)): (T => T) = func(Y(func))(_:T) Y: [T](func: (T => T) => (T => T))T => T scala> def fact = Y { | f: (Int => I