「関数型Rubyã€ã¨ã„ã†ç—…(6) - 関数åˆæˆã¨æ–‡è„ˆã€Proc#liftã¨Proc#>=ã€ãã—ã¦ãƒ¢ãƒŠ - ( ꒪⌓꒪) ゆるよã‚日記
å‰å›žã‹ã‚‰ä¸€å¹´ä»¥ä¸ŠãŒçµŒéŽã—ã¦ã„ã‚‹ã‘ã©ã€æœ€è¿‘lambda_driver.gemã«æ©Ÿèƒ½ã‚’è¿½åŠ ã—ãŸã®ã§ã€ãã®ã“ã¨ã«ã¤ã„ã¦æ›¸ã“ã†ã¨æ€ã†ã€‚ Rubyã§ã€ãƒ¢ãƒŠâ€¦â€¦ã£ã½ã„関数åˆæˆã‚’実装ã—ãŸè©±ã 。 Rubyã§é–¢æ•°åˆæˆã¨ã‹ã—ãŸã„ã®ã§ lambda_driver.gem ã¨ã„ã†ã®ã‚’作ã£ãŸ - ( ꒪⌓꒪) ゆるよã‚日記 関数åˆæˆ 関数åˆæˆã«ã¤ã„ã¦ã¯ä»¥å‰ã«æ›¸ã„ãŸã®ã§ã€ã“ã¡ã‚‰ã‚’見ã¦æ¬²ã—ã„。 「関数型Rubyã€ã¨ã„ã†ç—…(2) - 関数åˆæˆ Proc#compose - ( ꒪⌓꒪) ゆるよã‚日記 ãŠã•ã‚‰ã„ã‚’ã—ã¦ãŠãã¨ã€é–¢æ•°åˆæˆã¨ã¯ã€ 関数gã¨é–¢æ•°fã‹ã‚‰ã€g(f(x))ã¨ã„ã†é–¢æ•°hã‚’æ–°ãŸã«ä½œã‚Šå‡ºã™ã“ã¨ã 。 (g ∘ f)(x) = g(f(x)) 関数gã¨é–¢æ•°fã®åˆæˆé–¢æ•°g ∘ fã«å¼•æ•°xを渡ã—ãŸçµæžœã¯ã€é–¢æ•°gã«f(x)ã®çµæžœã‚’渡ã—ãŸã‚‚ã®ã¨ç‰ã—ã„。ã¤ã¾ã‚Šã€ã“ã®ã‚ˆã†ãªæ“作ã§ã‚る。 f = lambda{|x| x + 1
Rubyã§é–¢æ•°åˆæˆã¨ã‹ã—ãŸã„ã®ã§ lambda_driver.gem ã¨ã„ã†ã®ã‚’作ã£ãŸ - ( ꒪⌓꒪) ゆるよã‚日記
LambdaDriver by yuroyoro Rubyã§ã€Procã‚„lambdaã§é–¢æ•°åˆæˆã§ãるよã†ã«ã—ãŸã‹ã£ãŸã®ã§ã€lambda_driver.gemã¨ã„ã†ã®ã‚’作ã£ãŸã€‚ 内容的ã«ã¯ã“ã®è¾ºã§æ›¸ã„ãŸãƒ¤ãƒ„ã‚’gemã«ã—ãŸæ„Ÿã˜ã€‚ 「関数型Rubyã€ã¨ã„ã†ç—…(2) - 関数åˆæˆ Proc#compose - ( ꒪⌓꒪) ゆるよã‚日記 「関数型Rubyã€ã¨ã„ã†ç—…(3) - カリー化(Proc#curry, Proc#flip) - ( ꒪⌓꒪) ゆるよã‚日記 ã“ã‚“ãªé¢¨ã«ã€ã‚«ãƒƒã‚³ã‚ˆãコードãŒæ›¸ã‘る。 require 'lambda_driver' # [:foo, :bar, :baz].map{|s| s.to_s }.map{|s| s.upcase } # [:foo, :bar, :baz].map(&:to_s).map(&:upcase) [:foo, :bar, :baz].map(
Rubyã«ã‚ˆã‚‹é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
å¤ã良ãå°å¦æ ¡ã®æ™‚代ã€ã“ã®è¡Œã«ã¯å›°æƒ‘ã•ã›ã‚‰ã‚ŒãŸã‚‚ã®ã ã£ãŸã€‚ é”術的㪠x ãŒã€åŠ ç®—ã•ã‚ŒãŸã®ã«ç‰ã—ã„ã¾ã¾ã§ã„る事ã«ã€‚ ã©ã†ã„ã†ã‚ã‘ã‹ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’始ã‚ã‚‹ã¨ã€ãã‚Œã«æ§‹ã‚ãªããªã‚‹ã€‚ 「やれやれã€ãã‚Œã¯é‡å¤§ãªäº‹æŸ„ã˜ã‚ƒãªã„ã—ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã¯ç¾å®Ÿã®ãƒ“ジãƒã‚¹è¡Œç‚ºãªã‚“ã ã‹ã‚‰ã€ æ•°å¦çš„ãªç´”粋ã•ã«ã¤ã„ã¦ã‚ら探ã—ãªã‚“ã¦å¿…è¦ç„¡ã„ (ãã®è°è«–ãªã‚‰ã€å¤§å¦ã«ã„ã‚‹ç‹‚ã£ãŸé«é¢é‡ŽéƒŽã©ã‚‚ã«ã•ã›ã¦ãŠã‘ã°ã„ã„)ã€ã¨æ€ã£ã¦ã„ãŸã€‚ ã‘ã‚Œã©ã‚‚ã€ãŸã 知らãªã‹ã£ãŸã ã‘ã§ã€æˆ‘々ãŒé–“é•ã£ã¦ã„ã¦é«˜ã„代償を支払ã£ã¦ã„ãŸã®ã¯ 明らã‹ã§ã‚る。 Wikipedia ã«ã‚ˆã‚Œã°ã€ã€Œé–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°(functional programming, FP)ã¨ã¯ã€ 計算を数å¦çš„ãªé–¢æ•°ã®è©•ä¾¡ã¨ã¿ãªã—〠状態やå¯å¤‰ãƒ‡ãƒ¼ã‚¿ã‚’é¿ã‘るプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ‘ラダイムã€ã§ã‚る。 言ã„æ›ãˆã‚‹ã¨ã€é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯ã€ 副作用ãŒç„¡ã変数ã®å€¤ã‚’変化ã•ã›ãªã„コードを推奨ã™ã‚‹ã€‚
Rubyを使ã£ã¦ã€Œãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹ã€ã‚’解èªã—よã†ï¼ - hp12c
ブãƒã‚°ã‚’下記ã«ç§»è»¢ã—ã¾ã—ãŸã€‚デザイン変更ã«ã‚ˆã‚Šç§»è»¢å…ˆã§ã¯è¨˜äº‹ãŒä¸€å±¤èªã¿ã‚„ã™ããªã£ã¦ã„ã¾ã™ã®ã§ã€ã‚ˆã‚ã—ã‘ã‚Œã°ç§»å‹•ã‚’ãŠé¡˜ã„致ã—ã¾ã™ã€‚ Rubyを使ã£ã¦ã€Œãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹ã€ã‚’解èªã—よã†ï¼ : melborne.github.com - 「Why Functional Programming Matters:ãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹ã€(原著者：John Huges 邦訳：山下伸夫)ã¨ã„ã†è«–æ–‡ãŒã‚ã‚Šã¾ã™ ãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹ ã“ã‚Œã¯Mirandaã¨ã„ã†é–¢æ•°åž‹è¨€èªžã‚’使ã£ã¦ プãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ 関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãŒã„ã‹ã«é‡è¦ã§ã‚ã‚‹ã‹ã‚’論証ã—ãŸã‚‚ã®ã§ã™ ã“ã‚ŒãŒæ›¸ã‹ã‚Œã¦ã‹ã‚‰ã®å¹´æ•°*1ã¨è¢«ãƒ–クマ数を見れ㰠極ã‚ã¦æœ‰ç›Šã§must_readã§ã‚ã‚‹ã“ã¨ã¯æ˜Žã‚‰ã‹ã§ã—ょã†ãŒ 自分ã«ã¨ã£ã¦ã¯é«˜åº¦ãªå†…容ã§èªã¿è§£ãã®ã«ã‹ãªã‚Šè‹¦åŠ´ã—ã¦ã„ã¾ã™ リストを使ã£ãŸé–¢æ•°ã®è²¼ã‚Šåˆã›(3.ã®å‰åŠ)ã¾ã§ã«ã¤ã„ã¦
ãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. [email protected] ã“ã®æ—¥æœ¬èªžè¨³ã¯åŽŸè‘—者ã®æ‰¿è«¾ã‚’å¾—ã¦å±±ä¸‹ãŒã“ã“ã«å…¬é–‹ã™ã‚‹ã‚‚ã®ã§ã™ã€‚ ã“ã®è¨³æ–‡ã«ã¤ã„ã¦ã®ã€å¾¡æŒ‡æ‘˜ãªã©ã¯å±±ä¸‹ä¼¸å¤«(nobsun .at. sampou.org)ã¾ã§ãŠããŒã„ ã„ãŸã—ã¾ã™ã€‚ 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript ã“ã®è«–æ–‡ã¯1984年以æ¥ä½•å¹´ã‚‚ã®ã‚ã„ã Chalmers大å¦ã®ãƒ¡ãƒ¢ã¨ã—ã¦å›žè¦§ã•ã‚ŒãŸã€‚ 1989å¹´ã¨1990å¹´ã«å¹¾åˆ†ã‹æ”¹è¨‚ã‚’ã—ãŸã®ãŒ[Hug89]㨠[Hug90]ã§ã‚る。ã“ã®ç‰ˆã¯ã‚‚ã¨ã®Chalmer大å¦ã®ãƒ¡ãƒ¢ ã®nroff原稿をもã¨ã«
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://qiita.com/kenokabe/items/a8477694a499ca869cde
{{#tags}}- {{label}}
{{/tags}}