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

[metaclass]

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

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

Comments

[http://users.livejournal.com/_slw/]

кажется просто (λx.xx)

[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)))

[permea-kra.livejournal.com]

Prelude> :t let f x = x . f x in f
let f x = x . f x in f :: (b -> b) -> a -> b

[migmit.livejournal.com]

Гы. Мой любимый Perl-like Haskell:

newtype Y a = Y {(|$) :: Y a -> a}
y = let z w f = f $ (w |$ w) f in Y z |$ Y z 

Y-комбинатор. Без скрытых fix-ов.