ArrowLoop - 言語ゲームã•ã¦ã€æ°—分を変ãˆã¦ ArrowLoop ã‚’ã‚„ã‚Šã¾ã™ã€‚è«–æ–‡ã«æ›¸ã„ã¦ã‚ã‚‹ loop f b = let (c,d) = f (b,d) in c ã®æ„味ãŒå…¨ã分ã‹ã‚‰ãªã㦠Arrow ã®å‹‰å¼·ãŒä¸€ãƒ¶æœˆè¿‘ãåœæ»žã—ã¦ã„ãŸã®ã§ã™ãŒã€id:MaD ã•ã‚“ãŒç´ 晴らã—ã„解説 http://d.hatena.ne.jp/MaD/20070818 を書ã‹ã‚Œã¦ã„ã‚‹ã®ã§è‡ªåˆ†ãªã‚Šã«å†™çµŒã—ã¾ã™ã€‚loop を使ã£ã¦æ™®é€šã®ãƒ«ãƒ¼ãƒ—を作るã«ã¯ã€å¼•æ•°ã¨ã—ã¦é–¢æ•°ã‚’一ã¤ä¸Žãˆã¾ã™ã€‚関数ã®åž‹ã¯ (b,d) -> (c,d) ã®ã‚ˆã†ãªå…¥å‡ºåŠ›ã¨ã‚‚タプルã¨ã—ã¾ã™ã€‚よãã‚る図ã§ç¤ºã™ã¨ã€ã‚¿ãƒ—ルã®å¾Œã‚ã®å¼•æ•°ãŒãã‚‹ã‚Šã¨å…¥åŠ›ã«ç¹‹ãŒã‚Œã‚‹å½¢ã‚’ã—ã¦ã„ã¾ã™ã€‚ import Control.Arrow nonsense (b, d) = (b + 1, d * 2) -- *Main> loop nonsense 1 -- 2 -- ã“ã®ã—よã†ã‚‚ç„¡ã„例ã§ã¯ã€b +
Applicativeã®ã‚¹ã‚¹ãƒ¡ - ã‚ã©ã‘ãªã„話
GADTs使ã£ã¦ã¿ãŸ - Faith and Brave - C++ã§éŠã¼ã†
Arrowã®å¿ƒ - 2007-08-16 - mad日記
Arrowã§FizzBuzz(ã¨Arrowã®å†å¸°ã«é–¢ã™ã‚‹å•é¡Œç‚¹) - mad日記
mad日記 - Arrowãƒ‘ã‚ºãƒ«è§£ç” (ã¨ArrowLoop解説)
{{#tags}}- {{label}}
{{/tags}}