The Y Combinator (no, not that one)
Ayaka Nonaka
1.6K11

Ayaka this article is great! I’d like to ask you permission for translating this article to Spanish and modify it slightly with Julia language examples instead of Ruby in order to share it to the JuliaLangEs community.


#JuliaLang Y combinator

λf. (λx. f (x x))(λx. f (x x))

Y = f -> (x -> x(x))(y -> f((t…) -> y(y)(t…)))