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化pipeã¯FRPã®å¤¢ã‚’見るã‹ï¼Ÿ(GUIç·¨) - Qiita
ãƒãƒƒã‚¯ãƒŠãƒ³ãƒãƒ¼ Arrow化pipeã¯FRPã®å¤¢ã‚’見るã‹ï¼Ÿ 本記事も引ã続ãã€Arrow記法対応ã®pipeç³»(ãªã„ã—ã¯Iterateeç³»)自作ライブラリmachinecellã®ç´¹ä»‹ã§ã™ã€‚ machinecell: Arrow based stream transducers 今回ã¯ã‚¤ãƒ³ãƒ‘クトé‡è¦–ã®ãƒ‡ãƒ¢ã¨ã—ã¦ã€å°ã•ãªGUIプãƒã‚°ãƒ©ãƒ を披露ã—ã¾ã™ã€‚ ãã®å‰ã«ã‚¤ãƒ³ãƒˆãƒã¨ã—ã¦ã€ãªãœIterateeç³»ã®ãƒ©ã‚¤ãƒ–ラリをArrow化ã—ãŸã‹ã€ã¨ã„ã†ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ã®éƒ¨åˆ†ã«ã¤ã„ã¦ã€å‰å›žã®è¨˜äº‹ã‚ˆã‚Šå°‘ã—çªã£è¾¼ã‚“ã§è§¦ã‚Œã¦ã¿ã‚ˆã†ã¨æ€ã„ã¾ã™ã€‚ イントãƒï¼šArrow化ã®ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ Iteratee系ライブラリã¨ã¯ã€ãƒ‡ãƒ¼ã‚¿ã‚’èªã¿ã€æ›¸ãã€å‰¯ä½œç”¨ã‚’実行ã™ã‚‹å°ã•ãªéƒ¨å“を「ã‚ãŸã‹ã‚‚Unixã®ãƒ‘イプã®ã”ã¨ãã€é€£ãã¦ã€ä¸€é€£ã®å‡¦ç†ã‚’è¡Œã†äº‹ãŒã§ãる「機能ã€ã‚’æä¾›ã™ã‚‹ã‚‚ã®ã§ã—ãŸã€‚ Arrowã¨ã¯Categoryã®æ‹¡å¼µã§ã€ã€Œã‚ãŸã‹ã‚‚パイプã®
Haskell Advent Calendar 13日目: シンセサイザーã§ç†è§£ã™ã‚‹Arrowプãƒã‚°ãƒ©ãƒŸãƒ³ã‚° - モナドã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰
Haskell Advent Calendar 13日目ã®è¨˜äº‹ã§ã™ã€‚ ã”ãã’んよã†ã€‚ 今年も音楽ã®å†¬ãŒã‚„ã£ã¦ã¾ã„ã‚Šã¾ã—ãŸã€‚Haskellより音楽ã®ã»ã†ã«åŠ›ã‚’注ã„ã§ã„ã‚‹æ°—ãŒã™ã‚‹ã“ã®é ƒã§ã™ãŒã€ãµã¨ã“ã†æ€ã„ã¾ã—ãŸâ€•â€•ã€ŒHaskellã§ã‚·ãƒ³ã‚»ã‚µã‚¤ã‚¶ãƒ¼ã‚’作ãŸã‚‰ã¨ã¦ã‚‚楽ã—ã„ã®ã§ã¯ãªã„ã‹ï¼Ÿã€ シンセサイザーã®ä»•çµ„ã¿ã¯ã€ãŸã¨ãˆã°FM・減算å¼ãªã‚‰ã“ã†ãªã‚Šã¾ã™: ã—ã‹ã—ã€ã“ã‚ŒãŒå®Ÿè£…出æ¥ã¦ã‚‚ã‚ã¾ã‚Šå¬‰ã—ããªã„ã€ã¨ã„ã†ã®ã¯ã‚ã‹ã£ã¦ã„ãŸã ã‘ã‚‹ã®ã§ã¯ãªã„ã§ã—ょã†ã‹â€•â€•ãã†ã€ãŸã ã®ã‚·ãƒ³ã‚»ã‚µã‚¤ã‚¶ãƒ¼ã§ã¯ãªãã©ã‚“ãªã‚·ãƒ³ã‚»ã‚µã‚¤ã‚¶ãƒ¼ã§ã‚‚作れるフレームワークãŒæ¬²ã—ã„ã®ã§ã™ã€‚ 部å“を作る部å“　-Artery- ã¾ãšã€ç§ã¯ã€éƒ¨å“åŒå£«ã‚’「é…ç·šã€ã§ãるよã†ã«ã™ã‚‹ãŸã‚ã€arteryã¨ã„ã†ãƒ‘ッケージを作りã¾ã—ãŸã€‚ Arteryã¯Arrowã¨ã—ã¦ã®ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ã‚¤ã‚¹ã‚’æŒã£ã¦ã„ã¾ã™ã€‚Arrowã¯ã”ãç°¡å˜ã«è¡¨ç¾ã™ã‚‹ã¨ã€ä»¥ä¸‹ã®ã‚ˆã†ãªã‚¯ãƒ©ã‚¹ã§è¡¨ç¾ã•ã‚Œã¾ã™(
Control.Arrowã§ã‚¨ãƒ©ãƒˆã‚¹ãƒ†ãƒã‚¹ã®ç¯©, 階乗 - プãƒã‚°ãƒ©ãƒ モグモグ
エラトステãƒã‚¹ã®ç¯©ã®å‰ã«, 階乗をArrowã§ã‚„ã‚Šã¾ã™. ç†ç”±ã¯ãŠã„ãŠã„分ã‹ã‚Šã¾ã™. 階乗を普通㫠fact n = if n == 0 then 1 else n * fact (n - 1) main = print $ fact 10 3628800 æµçŸ³ã«ã“ã‚Œã¯ã„ã„ã§ã™ã. ã¯ã„. Arrowã«æ€¥ãå‰ã«, ã¾ãšfixを使ã£ã¦æ›¸ãã¾ã—ょã†. 色々考ãˆã¾ã—ãŸãŒ, fixを介ã—ã¦Arrowã«è¡Œãã®ãŒä¸€ç•ªè¿‘é“ã§ã™. fix f = f (fix f) fact = fix fact' fact' f n = if n == 0 then 1 else n * f (n - 1) main = print $ fact 10 3628800 ã•ã£ãã®factã‚’, 第一引数ã§é–¢æ•°ã‚’回ã™ã‚ˆã†ã«ã—ã¦ã‚„ã‚‹ã ã‘ã§ã™ã. 階乗をArrowLoop㧠ã•ã¦, fixã§æ›¸ã‘ãŸã‚‰ã‚‚ã†ãŠæ‰‹ã®ç‰©ã§ã™. ã¨ã„ã†ã®ã‚‚
Arrow.hsã‚’èªã‚‚ã†ã€œãã®1〜 - ã¿ãšã´ãƒ¼æ—¥è¨˜
Arrow.hsã‚’èªã‚‚ã†ã€30分ã§èªã‚る範囲ã ã‘。 ホントã¯30分ã§Arrowを使ã£ã¦30分ã§ä½•ã‹ä½œã‚ã†ã€ã£ã¦ã®ãŒã‚„ã‚ŠãŸã„ã‚“ã ã‘ã©ã€ã¾ã プãƒã‚°ãƒ©ãƒ ãŒæ›¸ã‘ã‚‹ã»ã©ç†è§£ã—ã¦ã„ãªã„。 ã—ょã†ãŒãªã„ã‹ã‚‰ã‚³ãƒ¼ãƒ‰ãƒªãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã‚’ã—よã†ã€‚ ã©ã“ã«ã‚ã‚‹ã®? http://darcs.haskell.org/packages/base/Control/ æ–¹é‡ ã¨ã‚Šã‚ãˆãšArrowã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã§ã‚ã‚‹->ã«é–¢ã™ã‚‹ã‚³ãƒ¼ãƒ‰ã ã‘ã‚’èªã‚€ã€‚Kleisli(..)ã¨do記法ã¯ç„¡è¦–。 関連ã—ã¦ãã†ãªã‚„㤠モジュールã‹ã‚‰ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆã•ã‚Œã¦ã„ã‚‹ã‚„ã¤ã€‚ Arrow(..) ArrowChoice(..) ArrowApply(..) ArrowMonad(..) leftApp ArrowLoop(..) (>>>), (<<<) (>>>), (<<<) Arrowã¨ã„ãˆã°(>>>)ã ã‘ã©ã€å®Ÿã¯Category.hsã§å®šç¾©ã•ã‚Œã¦ã„
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)ç°¡å˜ãªé–¢æ•°ã§ã™
Control.Arrow - mzsmsã®é›‘記
http://www.nicovideo.jp/watch/sm5103132 ã§ã€Haskell(ã¨ã„ã†ã‹GHC?)ã®Control.Arrowã«é–¢å¿ƒã‚’æŒã£ãŸã®ã§ã€ã™ã“ã—ã„ã˜ã£ã¦ã¿ãŸã€‚ loop ãã®1 ã¾ãšã€ç†è§£ãŒé›£ã—ã„loopã‹ã‚‰ã€‚ãªãœãªã‚‰ã€ã©ã†ã‚‚Arrowを使ã†ã¨ãã«ã¯ãƒˆãƒƒãƒ—ダウンã§è€ƒãˆãªã„ã¨ã‚ã‘ãŒåˆ†ã‹ã‚‰ãªããªã‚‹ã‚ˆã†ãªã®ã§ã€‚ãã—ã¦ã‚ã¨ã§å‡ºã™ä¾‹ã‚‚ãã†ã ã‘ã©ã€ç¹°ã‚Šè¿”ã—ã‚’ã™ã‚‹ä»•äº‹ã¯ä¸€ç•ªä¸ŠãŒloopã«ãªã‚‹ã®ã§ã€loopã«ä½•ã‚’入れるã¹ããªã®ã‹ã‹ã‚‰è€ƒãˆã¯ã˜ã‚ã‚‹ã“ã¨ã«ãªã‚‹ã€‚ ã¨ã‚Šã‚ãˆãšã€(->)åž‹(関数ãã®ã‚‚ã®ã®åž‹)ã®loopã®å®šç¾©ã¯æ¬¡ã®ã¨ãŠã‚Š: class Arrow a => ArrowLoop a where loop :: a (b,d) (c,d) -> a b c instance ArrowLoop (->) where loop f b = let (c,d) = f (b,d)
Haskell/Understanding arrows - Wikibooks, open books for an open world
We have permission to import material from the Haskell arrows page. See the talk page for details. Arrows, like monads, express computations that happen within a context. However, they are a more general abstraction than monads, and thus allow for contexts beyond what the Monad class makes possible. The essential difference between the abstractions can be summed up thus: Just as we think of a mona
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
CiteSeerX
Arrowã®è©±
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20110825
{{#tags}}- {{label}}
{{/tags}}