Haskell で Y コンビネータ - あどけない話

Haskell で Y コンビネータ - あどけない話

Haskell では、Y コンビネータが作れないと誤解している人がいるので、できることを示すと同時に、これ...概要を表示 Haskell では、Y コンビネータが作れないと誤解している人がいるので、できることを示すと同時に、これまで学んだことをまとめてみます。 遅延評価を活かした Y コンビネータ 関数名を用いた再帰を使ってよいなら、Haskell では遅延評価のおかげで、Y コンビネータを定義である Y x = x (Y x) の通りに書けます。 y :: (a -> a) -> a y x = x (y x) Y コンビネータ用の階乗を定義してみましょう。 fact :: Num a => (a -> a) -> a -> a fact = \f n -> if n == 0 then 1 else n * f (n-1) 以下のように動きます。 y fact 4 → 24 でも、この階乗は Haskell っぽくないので、入り口で分岐するように書き直してみます。 fact :: Num a => (a

• haskell
• YCombinator
• ラムダ計算
• lambda
• programming
• functional
• 数学