Y combinator is forbidden in Haskell!? : 404 Blog Not Found2006年04月20日03:51 カテゴリLightweight Languages Y combinator is forbidden in Haskell!? Haskell流に自分の足を撃つ方法が、Y-combinatorの定義だったなんて! Haskellでは、実にElegantにLambda Calculusを実装できます。これをご覧になれば少しうっとりできるでしょう。 -- church numerals ch_0 = \f x -> x ch_1 = \f x -> f x ch_2 = ch_succ ch_1 ch_3 = ch_succ ch_2 ch_4 = ch_succ ch_3 ch_5 = ch_succ ch_4 ch_6 = ch_succ ch_5 ch_7 = ch_succ ch_6 ch_8 = ch_succ ch_7 ch_9 = ch_suc
