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 +
Arrowã®å¿ƒ - 2007-08-16 - mad日記
昨日ã®ç¶šãã§ã™ã€‚記法ãŒã‚ˆã„ã¨ã‹Monadã¿ãŸã„ã«å‰¯ä½œç”¨ãŒæ‰±ãˆã‚‹ã¨ã‹è¨€ã£ãŸãƒ¡ãƒªãƒƒãƒˆã‚’ã¯ã‚‹ã‹ã«è¶ŠãˆãŸArrowã®ç´ 晴らã—ã•ã«ã¤ã„ã¦ç´¹ä»‹ã—ã¾ã™ã€‚ reverse.reverse == id ã‹? 自分ãŒæœ€åˆã«Arrowã£ã¦ã™ã”ã„ã¨æ°—ã¥ã„ãŸå•é¡ŒãŒã“ã‚Œã§ã™ã€‚大å¦ã§åŒç´šç”Ÿã¨è©±ã—ã¦ã„る時ã«æ°—ã¥ãã¾ã—ãŸã€‚大ã—ã¦å½¹ã«ç«‹ã¤ä¾‹ã§ã¯ç„¡ã„ã§ã™ãŒã€Arrowã®æ–°ã—ã„å´é¢ãŒè¦‹ãˆã¦ãる例ã§ã™ã€‚ 標準入力ã«å¯¾ã—ã¦reverse,reverse,headã‚’é †ã«å®Ÿè¡Œã—ã¦çµæžœã‚’出力ã™ã‚‹ã‚³ãƒ¼ãƒ‰ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚後ã®æ¯”較ã®ç‚ºã«æ•¢ãˆã¦Arrowã§æ›¸ã„ã¦ã„ã¾ã™ã€‚ import Control.Arrow main :: IO () main = getContents >>= print. (reverse >>> reverse >>> head) リストを２回ã²ã£ãã‚Šè¿”ã—ãŸã‚‰å…ƒã«æˆ»ã‚‹ã ã‘ãªã®ã§ã€ãã®headã‚’ã¨ã‚‹ã¨ã„ã†è¨ˆç®—ã¯ä¸€
Arrowã§FizzBuzz(ã¨Arrowã®å†å¸°ã«é–¢ã™ã‚‹å•é¡Œç‚¹) - mad日記
ãµã¨ã€Arrowを使ã£ã¦FizzBuzzãŒç°¡å˜ã«æ›¸ã‘ã‚‹ã‹ãªã¨æ€ã£ãŸã®ã§æ›¸ã„ã¦ã¿ã¾ã—ãŸã€‚çµè«–ã‹ã‚‰è¨€ã†ã¨ã‚ã‚“ã¾ã‚Šæ›¸ãã‚„ã™ãã¯ãªã‹ã£ãŸã§ã™ã€‚ソースコードもã¡ã‚ã‚“if then elseレベルã§è‡ªåˆ†ã§å®Ÿè£…ã‚’ã—ã¦ã„ã‚‹ã‹ã‚‰ã§ã—ã¦ã€ãƒ©ã‚¤ãƒ–ラリãŒå……実ã—ã¦ãã‚Œã°ãã‚“ãªã«æ›¸ãã«ãã„ã‚‚ã®ã§ã‚‚ãªã„ã¨ã¯æ€ã„ã¾ã™ã€‚ æ€ã‚ã¬åŽç©«ã¨ã—ã¦Arrow用ã®mapã§ã‚ã‚‹mapAを使用ã™ã‚‹éš›ã«ã¯ã€ã‚ˆã注æ„ã—ãªã„ã¨å•é¡ŒãŒç™ºç”Ÿã™ã‚‹ã“ã¨ã‚’見ã¤ã‘ãŸã®ã§ãã‚Œã«ã¤ã„ã¦ã‚‚書ãã¾ã™ã€‚ ArrowChoiceを使ㆠ普通ã«å‰°ä½™ã‚’使ã£ã¦æ›¸ãã¾ã™ã€‚ã›ã£ã‹ãArrowを使ã†ã®ã§ã€1,2,3,4,5,....ã¨ã„ã†ã‚¹ãƒˆãƒªãƒ¼ãƒ をフィルターã«é€šã—ã¦ã„ãã¨ã„ã†æ„Ÿã˜ã§å®Ÿè£…ã—ã¾ã—ãŸã€‚ ã¾ãšå‰°ä½™ã«ã—ãŸãŒã£ã¦åˆ†å²ãŒå¿…è¦ãªã®ã§ã€ArrowChoiceを使ã„ã¾ã™ã€‚ArrowChoiceã«ã¯4ã¤ã®æ¼”ç®—åãŒã‚ã‚Šã¾ã™ã€‚ ã¾ãšleftã¨ã„ã†é–¢æ•°ãŒã‚ã£ã¦ã€ã“ã‚Œã¯æ™®é€šã®Arrowを入力
mad日記 - Arrowãƒ‘ã‚ºãƒ«è§£ç” (ã¨ArrowLoop解説)
ã¾ãšæœ€åˆã«ArrowLoopã«ã¤ã„ã¦èª¬æ˜Žã—ã¾ã™ã€‚æ•°å¦çš„ãªè©±ã¯ä¸€åˆ‡ã—ã¾ã›ã‚“(ã§ãã¾ã›ã‚“)。 ArrowLoopã®ä»•çµ„ã¿ ArrowLoopã¨ã„ã†ã‚¯ãƒ©ã‚¹ã«ã¯loopã¨ã„ã†é–¢æ•°ãŒä¸€ã¤ã ã‘属ã—ã¦ã„ã¾ã™ã€‚ã“ã®loopã¯Arrowã‹ã‚‰æ–°ã—ã„Arrowを作り出ã—ã¦ãれる関数ã§ã™ã€‚ ã¾ãšloopã«å…¥ã‚Œã‚‹Arrowã¯ã“ã‚“ãªå½¢ã‚’ã—ã¦ã„ã¾ã™ã€‚ 入力ãŒ2ã¤ã‚ã‚Šã€å‡ºåŠ›ã‚‚2ã¤ã‚ã‚Šã¾ã™ã€‚ãŸã ã—ã€Arrowã¯å…¥åŠ›ã¨å‡ºåŠ›ãŒã©ã¡ã‚‰ã‚‚１ã¤ãšã¤ã§ãªã‘ã‚Œã°ãªã‚‰ãªã„ã®ã§å®Ÿéš›ã¯ã‚¿ãƒ—ルã¨ã—ã¦å…¥å‡ºåŠ›ã—ã¾ã™ã€‚標準ライブラリã§å®šç¾©ã•ã‚Œã¦ã„ã‚‹ArrowLoopクラスã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã«ã¯æ™®é€šã®é–¢æ•°ã¨ã€ãƒ¢ãƒŠãƒ‰ã‚’Arrow化ã—ãŸKleisliã¨ã„ã†ArrowãŒã‚ã‚Šã¾ã™ã€‚ ã“ã“ã§ã¯ä¾‹ã¨ã—ã¦æ¬¡ã®Arrowを考ãˆã¾ã™ã€‚ swap_mul = \(x, y) -> (2 * y, 3* x) 実行例 > swap_mul (3, 4) (8,9)ç°¡å˜ãªé–¢æ•°ã§ã™
Arrowã«ã‚ˆã‚‹Haskellプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®åŸºç¤Žã€‚…パイプ感覚ã§é †æ¬¡/分å²/繰返㗠- よãã‚ã‹ã‚Šã¾ã›ã‚“
Programming with Arrowsã‚’èªã‚“ã§ç†è§£ã—ãŸã¤ã‚‚ã‚Šã®ãƒ¡ãƒ¢ã€‚誤りãªã©ä¹žã†ã”指摘。 （復習）Arrowã£ã¦ãªã«ï¼Ÿ ã¨æ€ã£ã¦ä»¥å‰èª¿ã¹ãŸãƒ¡ãƒ¢ãŒ"3分ã§è§£ã‚‹Haskellã®Arrowã®åŸºæœ¬ãƒ¡ãƒ¢ - よãã‚ã‹ã‚Šã¾ã›ã‚“"。ãã‚Œã«ã¡ã‚‡ã£ã¨è£œè¶³ã¨ã„ã†ã‹è¦³ç‚¹ã‚’変ãˆã¦ã¾ãšæ„Ÿè¦šã®æ•´ç†ã€‚ Monadã«è‰²ã‚“ãªç¨®é¡žãŒã‚るよã†ã«ã€Arrowも色んãªç¨®é¡žãŒã‚る。 Monad: IOã€Maybeã€â€¦ Arrow: 関数ãã®ã¾ã‚“ã¾(->)ã€Kleisli mã€â€¦ ã‚る種類ã®Monadã«è‰²ã‚“ãªåž‹ã®è‰²ã‚“ãªå€¤ã‚’入れられるよã†ã«ã€ã‚る種類ã®Arrowã«è‰²ã‚“ãªåž‹ã®è‰²ã‚“ãªé–¢æ•°ã‚’入れられる。 Monad: Maybeã®ä¾‹â†’ 「Maybe Int〠ã«return 0ã‚‚return 777もＯＫ。「Maybe Char〠ã«return 'a'ã‚‚return ' 'もＯＫ。 Arrow: (->)ã®ä¾‹â†’ 「Int -> In
FibBuzz ã‚’ Control.Arrow ã§è§£ã„ã¦ã¿ãŸ - melpon日記 - Haskellã‚‚C++ã‚‚ã¾ã¨ã‚‚ã«æ‰±ãˆãªã„ã¸ãŸã‚Œã®ãƒšãƒ¼ã‚¸
何㋠FizzBuzz å•é¡Œã‚’ã¡ã‚‡ã£ã¨ã ã‘パワーアップã•ã›ãŸã‚‚ã®ã« FibBuzz ã¨ã‹ã„ã†ã®ãŒã‚ã‚‹ãã†ã§ã€0 ã‹ã‚‰ 100 ã¾ã§ã®æ•´æ•°ã‚’ FizzBuzz ã™ã‚‹ä»£ã‚ã‚Šã«ãƒ•ã‚£ãƒœãƒŠãƒƒãƒæ•°ã®å„é …ã«å¯¾ã—㦠FizzBuzz ã™ã‚‹å•é¡Œãªã‚ˆã†ã§ã™ã€‚ é¢ç™½ãã†ãªã®ã§ä¹…々㫠Control.Arrow を引ã£å¼µã‚Šå‡ºã—ã¦ã‚„ã£ã¦ã¿ã¾ã—ãŸã€‚ ラムダå¼ä½¿ã‚ãšãƒã‚¤ãƒ³ãƒˆãƒ•ãƒªãƒ¼ã‚¹ã‚¿ã‚¤ãƒ«ã§æ›¸ã„ã¦ã¾ã™ã€‚ã“ã®è¾ºã¯åŸºæœ¬ã§ã™ã。 import Control.Arrow import Data.Function (on) fib = loop (((fst >>> uncurry (on (.) (:))) &&& (snd &&& fst >>> app) >>> app) &&& (snd >>> (snd &&& uncurry (+) >>>) >>> (uncurry (+) &&&) >>> (>>> uncurr
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Traced monoidal category - Wikipedia
https://staff.city.ac.uk/~ross/papers/notation.pdf
https://www.thev.net/PaulLiu/download/jfpcca.pdf
Web Server Error
https://www.cse.chalmers.se/~rjmh/afp-arrows.pdf
http://blog.romanandreg.com/post/2755301358/on-how-haskells-arrows-might-just-be-function
{{#tags}}- {{label}}
{{/tags}}