Yコンビネータ

カリー化ってこういう時に使うのかあ。
http://d.hatena.ne.jp/nowokay/20090409#1239268405

早い話が、if文とかも含めて全部関数化できると。
それは良いんだけど、それで最終的に何がしたいのかがよく分からない。
全部関数化して何のメリットが?
lambda万歳とかこの理屈で言語を作っていけるとか???
Haskellとかこういうのが関係しているのかな?
1 + 1 = 2の証明とかにも関係してそうな予感がしたり。