tnomuraã®ãƒ–ãƒã‚°æ—¥è¨˜
Haskell/Arrows - Wikibooks
Arrow 㯠Monads ã®ä¸€èˆ¬åŒ–ã ã¨è€ƒãˆã‚‹ã“ã¨ãŒã§ãる。全ã¦ã®Monadã¯Arrowã«å¤‰æ›ã™ã‚‹ã“ã¨ãŒã§ãã‚‹ãŒã€Arrowã¯Monadã«å¤‰æ›ã§ããªã„å ´åˆãŒã‚る。Arrowåž‹ã‚’å°Žå…¥ã™ã‚‹ç›®çš„ã¯Monadを使ã†ç›®çš„ã¨åŒã˜ã§ã‚ã‚Šã€ãƒ©ã‚¤ãƒ–ラリå‘ã‘ã«æ¨™æº–çš„ãªåž‹ã‚’用æ„ã™ã‚‹ã“ã¨ã§ã‚る。ã—ã‹ã—ã€Arrowåž‹ã¯Monadより広範囲ã®æ¦‚念をサãƒãƒ¼ãƒˆã™ã‚‹ã€‚Arrowåž‹ã§ã¯ã€éƒ¨åˆ†çš„ã«é™çš„ãªè¨ˆç®—（出力ã®ä¸€éƒ¨ãŒå…¥åŠ›ã«ä¾å˜ã—ãªã„計算）やã€è¤‡æ•°ã®å¼•æ•°ã‚’å–る計算を表ã™ã“ã¨ãŒã§ãる。Monadã§ä¸Šæ‰‹ãã„ããªã‚‰Monadã ã‘を使ãˆã°ã‚ˆã„ã®ã ãŒã€MonadãŒä½¿ãˆãã†ã ãŒä½¿ãˆãªã„対象ã«å¯¾ã—ã¦ã¯ã€Arrowを使ã†ã¹ãã‹ã‚‚ã—ã‚Œãªã„。 ã¾ãšArrowを使ã£ãŸè¨˜æ³•ã«é¦´ã‚Œã‚‹ã“ã¨ã‹ã‚‰å§‹ã‚よã†ã€‚ã“ã“ã§ã¯ã€ç°¡å˜ã®ãŸã‚ã€æœ€ã‚‚シンプルãªé–¢æ•°ã‚’表ã™Arrowã¨ã€å°ã•ãªã‚µãƒ³ãƒ—ルプãƒã‚°ãƒ©ãƒ を書ãã“ã¨ã«ã™ã‚‹ã€‚ ãã‚Œã§ã¯ãƒ†ã‚ストエディタを立ã¡ä¸Šã’ã¦Haske
Haskellã®Arrow
Arrowã‚’å¦ã¶ã€‚Programming with Arrowsã‚’èªã‚“ã§ã‹ã‚‰ã€ã€ŒArrowã®ã¯ãªã—ã€ã¨ã„ã†ãƒ‹ã‚³ãƒ‹ã‚³å‹•ç”»ã‚’ã¿ã‚‹ã®ãŒã‚ã‹ã‚Šã‚„ã™ã„。イメージã¯3番目ãŒå‚考ã«ãªã‚‹ã€‚ Programming with Arrows 『Arrowã®ã¯ãªã—ã€è¥¿å·ä» Haskell/Understanding arrows Arrowを使ã£ã¦å¥‡æ•°åˆ—を作ã£ã¦ã¿ã‚‹ã€‚ 0ã‹ã‚‰å§‹ã¾ã‚‹æ•°åˆ—ã‚’&&&ã§åˆ†å²ã•ã›ã¦ä¸€æ–¹ã¯ãã®ã¾ã¾æˆ»ã—ã¦ã€ã‚‚ã†ä¸€æ–¹ã¯tailã™ã‚‹ã“ã¨ã§1ã‹ã‚‰å§‹ã¾ã‚‹æ•°åˆ—ã«ã—ã¦ã€åˆæµã—ãŸã‚‰è¶³ã—åˆã‚ã›ã‚‹ã€‚ Prelude Control.Arrow> let odds = (tail) &&& id >>> (uncurry (zipWith (+))) Prelude Control.Arrow> take 10 $ odds [0,1..] [1,3,5,7,9,11,13,15,17,19]
3分ã§è§£ã‚‹Haskellã®Arrowã®åŸºæœ¬ãƒ¡ãƒ¢ - よãã‚ã‹ã‚Šã¾ã›ã‚“
日本語ã§Arrowã®èª¬æ˜ŽãŒã‚ã¾ã‚Šè¦‹ä»˜ã‹ã‚‰ãªã‹ã£ãŸã®ã§ã€Haskell/Understanding arrows - Wikibooks, open books for an open worldã‚’èªã‚“ã§ç†è§£ã—ãŸã¤ã‚‚ã‚Šã®ãƒ¡ãƒ¢ã€‚オリジナルã®å›³ã‚’見ãªãŒã‚‰ã ã¨åˆ†ã‹ã‚Šã‚„ã™ã„ã‹ã‚‚。誤り・間é•ã„ãªã©ã€ä¹žã†ã”指摘。 b->cãªé–¢æ•°ã‚’Arrowãªã‚‹ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚Œã‚‹ã¨ã€ (Arrow a) => a b c ã“ã‚“ãªåž‹ã«ãªã‚‹ã€‚型パラメタãŒã€å¼•æ•°ã®bã¨è¿”値ã®cã®ãµãŸã¤ã€‚ Monadã¯ã€å€¤ã‚’ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚ŒãŸã‚‚ã®ã€‚ã‹ã‚‰ãã‚Šç®±ã¯åŸºæœ¬çš„ã«(ヘンãª)値。 Arrowã¯ã€é–¢æ•°ã‚’ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚ŒãŸã‚‚ã®ã€‚ã‹ã‚‰ãã‚Šç®±ã¯åŸºæœ¬çš„ã«(ヘンãª)関数。 arr :: (b -> c) -> a b c Monadã§ã¯ã€å€¤ã‚’ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚Œã‚‹é–¢æ•°returnãŒã‚る。 Arrowã§ã¯ã€é–¢æ•°ã‚’ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚Œã‚‹é–¢æ•°arrãŒã‚る。 (>>>)
Control.Arrow.app - 趣味ã¯ãƒ‡ãƒãƒƒã‚°â€¦â€¦
Control.Arrow - mzsmsã®é›‘記をèªã‚“㧠Arrow ã¨ã„ã†ã‚‚ã®ã‚’ç†è§£ã—よã†ã¨ã—ã¦ãŸã‚“ã ã‘ã©ã€app 関数ã§ã¡ã‚‡ã£ã¨ã¤ã¾ãšã„ãŸã®ã§ãƒ¡ãƒ¢ã—ã¦ãŠã。 loop ã¯ã‚ã‚“ã¾ã‚Šã«ã‚‚分ã‹ã‚‰ãªã‹ã£ãŸã®ã§å¾Œå›žã—。ãªã‚“ã¨ãªãフリップフãƒãƒƒãƒ—回路ã«ä¼¼ã¦ã„ã‚‹æ°—ã¯ã—ãŸã€‚ åž‹ã§è€ƒãˆã¦ã‹ã‚‰å›³ã«ã—ã¦ã¿ã‚‹ æ‚©ã‚“ã§ãŸã‚³ãƒ¼ãƒ‰ã¯å…ˆã®ãƒ–ãƒã‚°ã®ã“ã®ã‚³ãƒ¼ãƒ‰ã€‚ ghci> let g = id *** (*2) >>> app ghci> g ((+10), 2) app ã®åž‹ã¨ã€é–¢æ•°ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã«é™å®šã—ãŸã¨ãã®åž‹ã¨å€¤ã¯ã€ app :: ArrowApply a => a (a b c, b) c app :: (a -> b, a) -> b app (f, a) = f a id *** (*2) ã®åž‹ã¯ã€ id *** (*2) :: Num a => (b, a) -> (b, a) >>> ã¯ã€ (>>>)
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)
çµµã§è¦‹ã‚‹ãƒ¢ãƒŠãƒ‰ · eed3si9n
2012-08-21 John Wiegley ã•ã‚“㮠“Monads in Pictures†を翻訳ã—ã¾ã—ãŸã€‚翻訳ã®å…¬é–‹ã¯æœ¬äººã‚ˆã‚Šè¨±è«¾æ¸ˆã¿ã§ã™ã€‚翻訳ã®é–“é•ã„ç‰ãŒã‚ã‚Œã°é æ…®ãªãã”指摘ãã ã•ã„。 2012å¹´8月20æ—¥ John Wiegley è‘— 2012å¹´8月21æ—¥ e.e d3si9n 訳 ã“ã‚Œã¯ãƒ¢ãƒŠãƒ‰ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã§ã¯ãªã„ã—ã€ã“ã“ã«ã¯æ•°å¦ç”¨èªžã‚‚出ã¦ã“ãªã„。本稿ã¯ã€æ—¢ã«ãƒ¢ãƒŠãƒ‰ã‚’一応使ãˆã‚‹ãらã„ã«ã¯ç¿’ã£ãŸäººã‚’対象ã¨ã™ã‚‹ã€‚視覚化ã™ã‚‹ã“ã¨ã§ã€ä½•ã®ãŸã‚ã«ä½•ã‚’ã‚„ã£ã¦ã„ã‚‹ã‹ãŒæ˜Žã‚‰ã‹ã«ãªã‚‹ã¯ãšã 。 関数 モナドã«å¯¾ã™ã‚‹ç›´æ„Ÿã‚’得る一ã¤ã®æ–¹æ³•ã¨ã—ã¦é–¢æ•°ã‹ã‚‰ãƒ¢ãƒŠãƒ‰ã¸ã®æŠ½è±¡åŒ–ã‚’ãŸã©ã‚‹ã¨ã„ã†ã‚‚ã®ãŒã‚る。関数ãŒä½•ã‚’ã‚„ã£ã¦ã„ã‚‹ã®ã‹ã‚’ç°¡å˜ãªçµµã§è¡¨ã—ã¦ã¿ã‚ˆã†ã€‚Haskell ã®é–¢æ•°ã®å‘¼ã³å‡ºã—ã®æ§‹æ–‡ã‚’上ã«ã€åŒã˜æ¼”算を視覚化ã—ãŸã‚‚ã®ã‚’下ã«ç½®ã„ãŸ: 関数ã¯ã‚る値 a を投射 (map) ã—ã¦åˆ¥ã®å€¤ b を得る。ä¸ã§ä½•ãŒèµ·
capriccioso String Creating(Object something){ return My.Expression(something); }
本当ã¯ã€ Freeモナドを超ãˆãŸï¼ï¼Ÿoperationalモナドを使ã£ã¦ã¿ã‚ˆã† http://fumieval.hatenablog.com/entry/2013/05/09/223604 ã«å½±éŸ¿ã•ã‚Œã¦ã€Operationalモナドã®è©±ã‚’ã¾ã¨ã‚よã†ã¨æ€ã£ãŸã®ã§ã™ãŒã€ã¡ã‚‡ã£ã¨æ™‚é–“ãªã•ãã†ã ã£ãŸã®ã§ã€ä»Šæ—¥ã¯ã¡ã‚‡ã£ã¨CoYonedaã®è©±ã‚’ã—ã¾ã—ょã†ã€‚ 上記ブãƒã‚°ã§ã¯ã€CoYonedaã«ã¤ã„ã¦ã€ŒãŸã ã®ãƒ‡ãƒ¼ã‚¿åž‹ã‹ã‚‰Functorを生ã¿å‡ºã›ã‚‹ã€ã¨ç´¹ä»‹ã•ã‚Œã¦ã„ã¾ã™ã€ã“ã‚ŒãŒã„ã£ãŸã„ã©ã†ã„ã†äº‹ã‹ã€ã¡ã‚‡ã£ã¨æ·±ã追ã£ã¦ã¿ã¾ã—ょã†ã€‚ åˆã‚㫠今回ã¯ã€ä»»æ„ã®åž‹ã‚’Functorã«ã™ã‚‹äº‹ãŒç›®æ¨™ãªã®ã§ã€ã¾ãšç°¡å˜ã«ä»¥ä¸‹ã®ã‚ˆã†ãªåž‹ã‚’定義ã—ã¦ãŠãã¾ã™ã€‚ data Hoge a = Foo a | Bar a deriving Show 米田先生ã¨Yoneda Yonedaã¨ã„ã†ã®ã¯ç±³ç”°ä¿¡å¤«ã¨ã„ã†æ—¥æœ¬ã®æ•°å¦è€…ã®åã«å› ã‚“ã 「米田ã®
Arrowã®åŸºæœ¬ï¼ˆï¼‘）　>>>演算åã§é–¢æ•°ã‚’繋ã - capriccioso String Creating(Object something){ return My.Expression(something); }
å‰ã€…ã‹ã‚‰æ°—ã«ãªã£ã¦ã„ãŸArrowを覚ãˆã‚‹ã¹ãã€ã‚ã¡ã“ã¡è³‡æ–™ã‚’探ã—ã¦ã¿ãŸã‚‚ã®ã®ã€ãã‚‚ãも日本語ã®è³‡æ–™ãŒå°‘ãªã„ã®ã§ã€‚自分ã§è‰²ã€…ã„ã˜ã£ã¦è©¦ã—ã¦ã¿ã‚‹äº‹ã«ã—ã¾ã—ãŸã€‚ 一ã¤ã®æ—¥æœ¬èªžè³‡æ–™ã¨ã—ã¦æ´»ç”¨ã§ãるよã†ã«ã€æ‰‹é †ã‚’追ã£ã¦ä½•å›žã‹ã«åˆ¥ã‘ã¦ãªã‚‹ã¹ã詳細ã«æ›¸ã„ã¦ã„ã“ã†ã¨æ€ã„ã¾ã™ã€‚ 自分も勉強ã—ãªãŒã‚‰ã«ãªã‚Šã¾ã™ã®ã§ã€è¶³ã‚Šãªã„部分ã‚ã‚Šã¾ã—ãŸã‚‰æŒ‡æ‘˜ã„ãŸã ã‘ã‚Œã°å¹¸ã„ã§ã™ã€‚ ã¾ãšã€Arrowã®ã€é–¢æ•°ã‚’パイプ感覚ã§ç¹‹ã„ã§ã„ã（事ãŒã§ãるらã—ã„）>>> 演算åã®å®šç¾©ã¯æ¬¡ã®ã‚ˆã†ã«ãªã£ã¦ã¾ã™ã€‚ Prelude Control.Arrow> :i (>>>) (>>>) :: (Control.Category.Category cat) => cat a b -> cat b c -> cat a c -- Defined in Control.Category infixr 1 >>>ã”ã¡ã‚ƒã”ã¡ã‚ƒã—ã¦åˆ†ã‹ã‚Šã¥ã‚‰ã„ã§ã™ãŒã€å¿…è¦
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
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}