Свързани въпроси '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 изгледи
schedule
28.11.2022