Този отговор казва Ето един основен 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...

Ако един език има контролни структури и променливи, но няма поддръжка за масиви, списъци, достъп и разпределение на паметта и т.н., може ли да бъде пълен по Тюринг? Може би, ако нямаше ограничение за количеството променливи, които можете да...