Y combinator is forbidden in Haskell!? : 404 Blog Not Found

2006年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

[mind]

――カリー型とチューリング型以外のいろいろなyコンビネータの製造法を探しているのだけれど…。

[r-west]

メモ：Yコンビネータ作りに失敗したのは、まさにこれか？でもYf=fYFはOK。よーわからん。

[nanakoso]

型付ラムダ式だとプリミティブにYコンビネータが書けない件について。

[hakobe932]

Y combinatorってなんだ？