おとうさんにもわかるYコンビネータ！(絵解き解説編) - よくわかりません

先日YコンビネータのきしださんのYコンビネータのエントリが話題になっていました。 ずいぶん日にちが経ってしまいましたが、自分も、自分なりにYコンビネータのあたりを絵解きで整理してみたいと思います。きしださんのエントリタイトル*1に引っ掛けて、目標として、自分の父親(非プログラマ。その辺のおっさん)でも解る内容を目指します。 なぜ不動点演算子というのか、不動点だったらなぜ再帰なのか、この辺りも含めて、実感を持って納得できればいいなと思います。 きしださんのエントリのおさらい 本題の前に、きしださんのエントリをおさらいしておきます。 Yコンビネータはただのオモチャじゃないんだよ 関数だけで色んな事が出来る 条件分岐をする関数ってのもある。 再帰(ループ)を作れる関数もある。←これがYコンビネータ。 数値も関数で表現できる。 つまり、関数だけで、条件分岐も、再帰(ループ)も、数値も作れちゃう！！

[r-west]

セルクマ

[flower_room]

おとうさんにも（なんとなく）わかりました。

[tondol]

Yコンビネータ

[Ehren]

Yコンビネータの解説。わかりやすい。

[kamipo]

「fはFの不動点である」という事が、「fは再帰する関数である」という事と同じ！！。という事です。

[amachang]

不動点が再帰的な関数になる理由／たしかに function(f) { return function(x) { return f(x) } } みたいな関数の不動点（与える関数と、返す関数が同じ）を考えると再帰的な関数になるということは分かった。