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
{{#tags}}- {{label}}
{{/tags}}