Clojure, лямбды, черви, термы

[metaclass]

(#(% %) #(% %)) - StackOverflow на кложуре
((fn [x] (x x)) (fn [x] (x x))) - StackOverflow на кложуре (более явная запись предущего)
на хаскеле даже на \x -> x x сразу ругается тайпчекер

(λx.xx)(λx.xx) - это оно же?

Comments

[lomeo.livejournal.com]

В статических можно эмулировать с помощью изоморфных типов. Например, определив тип

newtype F a = F (F a → a)

мы получили тип изоморфный F a → a, т.е. тип, который можно применять к себе. А значит можем написать \x → x x как \(F f) → f (F f)), а полный Y-комбинатор как

y = (\(F f) → f (F f)) (F (\(F f) → f (F f)))

[lomeo.livejournal.com]

Главное — не пытаться прочесть это вслух! :-)

[nivanych.livejournal.com]

Надо перевести на латынь.