Свързани въпроси 'y-combinator'

Защо y-комбинаторът осигурява еквивалентност на Тюринг?
Този отговор казва Ето един основен y-комбинатор в ламбда смятането: Y f = (\x -> f (x x)) (\x -> f (x x)) Т.е. нещо подобно в Clojure: (defn Y [f] ((fn [x] (x x)) (fn [x] (f (fn [& args] (apply (x...
360 изгледи