Do Extraterrestrials Use Functional Programming?
Opening Keynote at YOW! Lambda Jam, Brisbane, 2013. Is functional programming just the result of clever language design? Are there deeper reasons for the effectiveness of the paradigm? Why has functional programming not caught on earlier? In this talk, we will have a look at the roots of functional programming, at their contribution to the success of the paradigm, and at the lessons we can draw to
Y Combinator
ã“ã®ãƒ•ã‚¡ã‚¤ãƒ«ã§ã€æˆ‘々ã¯ã€å†å¸°æ‰‹ç¶šãç†è«–ã®é‡è¦ãªæˆæžœã®ä¸€ã¤ã§ã‚ã‚‹Yコンビ ãƒãƒ¼ã‚¿ã‚’導出ã™ã‚‹ã€‚手続ãã«åå‰ã‚’与ãˆã‚‹å¿…è¦ãŒãªã„å ´åˆãŒã‚ã‚‹ã“ã¨ãŒçŸ¥ã‚‰ã‚Œ ã¦ã„る。ãŸã¨ãˆã°ã€ ((lambda (x) (+ x 1)) 6) ã¯ã€ãれを行ãªã†æ‰‹ç¶šãã‚’å付ã‘ã‚‹ã“ã¨ãªã1ã‚’6ã«åŠ ãˆã‚‹ã€‚ã—ã‹ã—ã€å†å¸°æ‰‹ç¶š ãã¯ã©ã†ã ã‚ã†ã‹? ãŸã¨ãˆã°ã€ (define fact (lambda (n) (if (zero? n) 1 (* n (fact (- n 1)))))) ã¯æ•°nã®éšŽä¹—を計算ã™ã‚‹ãŒã€æ‰‹ç¶šãã®æœ€çµ‚è¡Œã§è‡ªèº«ã«å†å¸°ã§ãるよã†ã«ã™ã‚‹ãŸ ã‚ã«åå‰"fact"ãŒå¿…è¦ã§ã‚るよã†ã«æ€ãˆã‚‹ã€‚ã—ã‹ã—ã€æˆ‘々ã¯ãã‚Œã¯å¿…è¦ã§ãªã„ ã“ã¨ã‚’ç†è§£ã—ã€ãã®ãƒ—ãƒã‚»ã‚¹ã«ãŠã„ã¦ã€Schemeを使ã†ã“ã¨ã«é–¢ã™ã‚‹å¤šãã®å‹˜ã‚’ ã‚„ã—ãªã†ã ã‚ã†ã€‚我々ã¯ä¸€ã‚¹ãƒ†ãƒƒãƒ—ãšã¤é€²ã¿ã€å„ステップã§"fact"ã‚’ã‚ãšã‹ã« 変更ã™ã‚‹ã€‚ Step 1. 最åˆã®ã‚¢ã‚¤ãƒ‡ã‚£ã‚¢
ãŠã¨ã†ã•ã‚“ã€ã¼ãã«ã‚‚Yコンビãƒãƒ¼ã‚¿ãŒã‚ã‹ã‚Šã¾ã—ãŸã‚ˆï¼ - 2009-04-09 - ãã—ã ã®ã¯ã¦ãª
ã‚„ã£ã¨ã€Yコンビãƒãƒ¼ã‚¿ãŒä½•ã‚’æ„味ã™ã‚‹ã‚‚ã®ãªã®ã‹ã€ã©ã†ã„ã†æ„義ãŒã‚ã‚‹ã®ã‹ãŒã‚ã‹ã‚Šã¾ã—ãŸã€‚ åå‰ã‚’使ã‚ãšå†å¸°ãŒã§ãã¾ã™ã‚ˆï¼ã¨ã„ã†ã ã‘ã®ã‚‚ã®ã˜ã‚ƒãªã‹ã£ãŸã®ã§ã™ã。 ã¾ãšÎ»ã‚ã‚Šã 関数ã®è©±ã‚’ã—ãŸã„ã®ã§ã™ã€‚ ãã®ã¨ãã€ã„ã¡ã„ã¡ hoge(x) = x * 2 ã¨ã—ã¦hogeを・・・ã€ã¨ã‹åå‰ã‚’ã¤ã‘ã¦è©±ã‚’進ã‚ã‚‹ã®ãŒã‚ã‚“ã©ã†ãªã®ã§ã€é–¢æ•°ã‚’値ã¨ã—ã¦ã‚らã‚ã™ã¨ä¾¿åˆ©ã¨ã„ã†ã“ã¨ã§ã€Î»ã¨ã„ã†å€¤ã‚’定義ã™ã‚‹ã®ã§ã™ã€‚ ãã†ã™ã‚‹ã¨ã€ä¸Šã®hoge関数ãªã‚“ã‹ã¯Î»(x)(x*2)ãªã©ã¨ã‚らã‚ã›ã¾ã™ãŒã€å¼•æ•°ã‚’ã‚らã‚ã™ã®ã«()を使ã†ã¨ã„ã‚ã„ã‚ã¾ãŽã‚‰ã‚ã—ã„ã®ã§ã€ λx.x*2 ã®ã‚ˆã†ã«è¡¨è¨˜ã—ã¾ã™ã€‚ ã¨ã„ã†ã®ãŒÎ»ã€‚ ã“ã®ã¨ãã€Î»ã«ãªã«ã‹ã‚ãŸã•ã‚ŒãŸã‚‰ã€å¼•æ•°ã¨ã—ã¦ã‚らã‚ã•ã‚Œã‚‹éƒ¨åˆ†ã‚’å˜ç´”ã«ãŠãã‹ãˆã¾ã™ã€‚ (λx.x*2)y ã¨ã‚ã£ãŸã‚‰ã€xã®éƒ¨åˆ†ã‚’yã§ãŠãã‹ãˆã¦ (λx.x*2)y → y * 2 ã¨ãªã‚Šã¾ã™ã€‚λã®å¼•æ•°éƒ¨åˆ†ã‚’与ãˆã‚‰ã‚ŒãŸå¼•æ•°ã§ç½®
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}