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