モナドã«ã¤ã„ã¦èª¿ã¹ã¦ã„ã(7) - Fight the Future
One Div Zero: Monads are Elephants Part 1(モナドã¯è±¡ã )ã¨ã„ã†ã‚¨ãƒ³ãƒˆãƒªãŒã‚ã£ãŸã®ã§ã€ã“れを訳ã—ã¦ãƒ¢ãƒŠãƒ‰ã®å¦ç¿’を進ã‚ã¾ã™ã€‚ Introductions to monads are bit of cottage industry on the Internet. モナドã®ç´¹ä»‹ã¯ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã§ã®ã»ã‚“ã®å°ã•ãªäº‹æ¥ã§ã™ã€‚ So I figured, "why buck tradition?" ãªã®ã§ç§ã¯ã€Œãªãœæ…£ç¿’ã‚’ç ´ã‚‹ã®ã‹ï¼Ÿã€ã¨æ€ã†ã®ã§ã™ã€‚ But this article will present Scala's way of dealing with monads. ã—ã‹ã—ã€ã“ã®è¨˜äº‹ã§ã¯Scalaã§ãƒ¢ãƒŠãƒ‰ã‚’扱ã†æ–¹æ³•ã‚’示ã—ã¾ã™ã€‚ An ancient parable goes that several blind men were experiencin
第14回 関数脳ã®ã¤ãり方　Second Season　～モナドã§æ‚Ÿã‚Šã‚’ã²ã‚‰ã～
大手SIベンダã«ã¦SEã‚„PMやアーã‚テクトã¨ã—ã¦å‹¤å‹™ã—ãŸã®ã¡ï¼Œæ ªå¼ä¼šç¤¾è±†è”µã‚’経ã¦ï¼Œç¾åœ¨ã¯åˆåŒä¼šç¤¾ã‚·ãƒ³ãƒ—ルアーã‚テクト代表社員ã§ã‚ã‚Šï¼Œæ ªå¼ä¼šç¤¾åŒ Business Placeã®ãƒãƒ¼ãƒ•ã‚³ãƒ³ã‚µãƒ«ã‚¿ãƒ³ãƒˆã€‚主ã«è¶…上æµã®ãƒ—ãƒã‚»ã‚¹ã§ã‚ã‚‹è¦æ±‚開発やオブジェクト指å‘，アジャイル開発ã®ã‚³ãƒ³ã‚µãƒ«ã‚¿ãƒ³ãƒˆã¨ã—ã¦æ´»èºä¸ã€‚開発ã®ç¾å ´ã«ã“ã ã‚り，開発ã®ç¾å ´ã‚’å°‘ã—ã§ã‚‚よãã—ãŸã„ã¨æ—¥å¤œå¥®é—˜ã—ã¦ã„る。è¦æ±‚開発アライアンス執行委員。著書ã«ã€Žã‚ªãƒ–ジェクト脳ã®ã¤ãã‚Šæ–¹ã€ã‚„『eXtreme Programming実践レãƒãƒ¼ãƒˆã€ï¼ˆã¨ã‚‚ã«ç¿”泳社発行。後者ã¯å…±è‘—）ãªã©ãŒã‚る。 Javaãªã©ï¼Œã‚ªãƒ–ジェクト指å‘や手続ãåž‹ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®çµŒé¨“ã¯ã‚ã‚‹ã‘ã‚Œã©ï¼Œé–¢æ•°åž‹ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯åˆã‚ã¦ã¨ã„ã†çš†æ§˜ã®ãŸã‚ã®ï¼Œãã—ã¦ç†è€…自身ã®ãŸã‚ã®ã€Œé–¢æ•°è„³ã®ã¤ãã‚Šæ–¹ã€ã‚·ãƒªãƒ¼ã‚ºã®Second Season（First Seasonã¯ã“ã¡ã‚‰ï¼‰ã€‚今回ã¯ã€Œãƒ¢ãƒŠãƒ‰ã€ã‚’å–り上ã’ã¾
リストモナドã®å‹•ä½œåŽŸç†ã‚’考ãˆã‚‹ - ã‚ã©ã‘ãªã„話
Haskell ã®ãƒªã‚¹ãƒˆå†…包表記ã¯ã¨ã£ã¦ã‚‚便利ã§ã™ã€‚ã‚ã¾ã‚Šæ„味ãŒãªã„ã®ã§ã™ãŒã€ã‚ˆã出ã•ã‚Œã‚‹ä¾‹ã¯ã€ã“ã‚“ãªæ„Ÿã˜ã§ã™ã€‚ [(x,y)|x<-[1,2],y<-[3,4,5]] → [(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)] ã“ã®ã‚ˆã†ã«ã€ã“ã®ãƒªã‚¹ãƒˆå†…包表記ã¯ã€ã‚ãŸã‹ã‚‚二é‡ã®ãƒ«ãƒ¼ãƒ—ã§ã‚ã‚‹ã‹ã®ã‚ˆã†ã«å‹•ãã¾ã™ã€‚ リスト内包表記ã¯ã€å®Ÿã¯ç³–衣構文ã§ã‚ã‚Šã€do ã«ç›´ã™ã¨ä»¥ä¸‹ã®ã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚ do x<-[1,2] y<-[3,4,5] return (x,y) → [(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)] 僕ã¯ã€ã“ã®æ„味をãšã£ã¨ç†è§£ã§ãã¾ã›ã‚“ã§ã—ãŸã€‚ "<-" ã¯ã€ãƒ¢ãƒŠãƒ‰ã¨ã„ã†ç®±ã®ä¸ã‹ã‚‰ã€ä¸èº«ã‚’å–り出ã—ã¾ã™ã€‚ãŸã¨ãˆã°ã€Just "str" ã‹ã‚‰ä¸èº«ã‚’å–り出ã™ã¨ "str" ã¨ãªã‚‹ã‚ˆã†ã«ã€Maybe モナドをç†è§£ã™ã‚‹ã®ã¯ç°¡å˜ã§ã™ã€‚ ã§ã‚‚ã€ãƒªã‚¹ãƒˆ
技術者ï¼ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ãƒ¢ãƒŠãƒ‰ã¨åœè«– 第1回 è¡Œã£ã¦ããŸ
ã¾ãŸã¾ãŸè¡Œã£ã¦ããŸã€‚å‰å›žï¼ˆè«–ç†ãƒ»ãƒ©ãƒ ダ・åœï¼‰ã€ã‚¿ã‚¤ãƒˆãƒ«ã«ã€Œåœã€ã¨ã‚ã‚ŠãªãŒã‚‰ã€å®Ÿéš›ã¯åœã®è©±ãŒã»ã¨ã‚“ã©ã§ããªã‹ã£ãŸã“ã¨ã‚’å—ã‘ã¦ã¯ã˜ã¾ã£ãŸã€æ–°ã‚·ãƒªãƒ¼ã‚ºã€‚ç´°ã‹ã„ã¨ã“ã‚や背景知è˜ãªã‚“ã¦ã‚ã‹ã‚‹ã‚ã‘ãŒãªã„（数å¦ã»ã¨ã‚“ã©ã‚„ã£ã¦ãªã„ã—）ã®ã§ã€ã‚ã‹ã£ãŸç¯„囲ã§æ›¸ãã¨ã‚ã¦ãŠã。間é•ã„ã¾ãã£ã¦ã‚‹å¯èƒ½æ€§å¤§ã€‚ 全体的ã«æ•™ç§‘書的ã«é€²ã‚よã†ã‹ã¨æ€ã£ã¦ã„ãŸãã†ã ãŒã€æªœå±±ã•ã‚“ãŒä½“調ä¸è‰¯ã§æ–¹é‡è»¢æ›ã€‚å½¢å¼çš„ãªã‚‚ã®ã‚ˆã‚Šã€ãŠçµµã‹ãメインã§é€²ã‚ã‚‹ã“ã¨ã«ãªã£ãŸã€‚ ã¨ã„ã†ã‚ã‘ã§ã€ç¬¬1回ã®äºˆå®šã¯ã“ã†ã§ã—ãŸã€‚ã¾ãˆãŠãï¼ã¾ãˆã›ã¤ã„ã‚ã„ã‚ãªå›³ã®æãæ–¹åœã®å®šç¾©ã¨å®Ÿä¾‹ä¼‘憩行列ã®åœã§éŠã¶ã‚³ãƒ¬ã‚¯ã‚·ãƒ§ãƒ³ãƒ»ãƒ‡ãƒ¼ã‚¿å®Ÿéš›ã¯ã€3ã®é€”ä¸ã¾ã§ï¼ˆä¼‘憩ã¯ã‚„ã£ãŸã‚ˆï¼ï¼‰ã§çµ‚了ã—ã¾ã—ãŸ:-D ã¾ãˆãŠãï¼ã¾ãˆã›ã¤ã‚·ãƒªãƒ¼ã‚ºå…¨ä½“ã®ç›®æ¨™ã¨ã—ã¦ã¯â€¦åœã®åŸºæœ¬æ¦‚念をå¦ã¶ モナドã®å®Ÿä¾‹ã‚’ãŸãã•ã‚“知るモナド法則ã«æ…£ã‚Œã‚‹ãƒ¢ãƒŠãƒ‰ã®ã‚¯ãƒ©ã‚¤ã‚¹ãƒªåœã®ä½œã‚Šæ–¹ã‚’知るモナドãŒãƒ¢ãƒŽã‚¤ãƒ‰ã§ã‚ã‚‹ã“ã¨ã‚’ç†è§£ã™ã‚‹ã“ã‚“ãªã¨ã“
リストモナドã®ç·´ç¿’ - 趣味的ã«ã£ã
æºå‹•æ•£é€¸æ—¥è¨˜ èŒãˆã‚‹ãƒ¢ãƒŠãƒ‰è¬›åº§ãã®1を見ãªãŒã‚‰ã€ã€Œå„æ¡ã®å’Œã®11å€ã¨ç‰ã—ã„三æ¡ã®æ•´æ•°ã€ã‚’実際ã«å‹•ã‹ã—ã¦æ±‚ã‚ã¦ã¿ã¾ã—ãŸã€‚answersã§ã¯ã€aã€bã€cã®çµ„åˆã›ã®å†…ã‹ã‚‰æ¡ä»¶ã«ãƒžãƒƒãƒã™ã‚‹ã‚‚ã®ã®ã¿è¿”ã—ã¾ã™ã€‚ module Main (main) where import Control.Monad (guard) answers :: [] Int answers = do a <- [1..9] b <- [0..9] c <- [0..9] let n = a * 100 + b * 10 + c guard $ n == (a + b + c) * 11 return n main :: IO () main = print answers -- => [198]確ã‹ã«ãƒ¢ãƒŠãƒ‰ã¯èŒãˆã¾ã™ã€‚表é¢çš„ã«ã¯ã²ã‹ãˆã‚ãªã‚“ã ã‘ã©ã€ã„ã‚ã„ã‚è£ã§ã‚ˆãよã†ã«ã¯ã‹ã‚‰ã£ã¦ãれるã‚ãŸã‚Šã¨ã‹ã€‚ å‚ç…§: 第4回 「å–り出
guard ã®å‹•ä½œåŽŸç†ã‚’考ãˆã‚‹ - ã‚ã©ã‘ãªã„話
「リストモナドã®å‹•ä½œåŽŸç†ã‚’考ãˆã‚‹ã€ã®ç¶šãã§ã€guard ã®å‹•ä½œåŽŸç†ã‚’考ãˆã¦ã¿ã¾ã™ã€‚ guard ã¯ã€ãƒªã‚¹ãƒˆå†…包表記ã§ã¯ã€ã“ã‚“ãªæ„Ÿã˜ã«æ›¸ã‘ã¾ã™ã€‚ [x | x <- [1,2], x < 2] → [1] ã“れを do ã§æ›¸ãç›´ã™ã¨ã€ã“ã†ãªã‚Šã¾ã™ã€‚ do x <- [1,2] guard (x < 2) return x guard ã®å®šç¾©ã¯ã€Contorol.Monad ã®ä¸ã«ã‚ã£ã¦ã€ã“ã†ã„ã†é¢¨ã«ãªã£ã¦ã„ã¾ã™ã€‚ guard :: (MonadPlus m) => Bool -> m () guard True = return () guard False = mzero 僕ã«ã¯ return () ãŒä½•ã‚’æ„味ã™ã‚‹ã®ã‹ã€ã•ã£ã±ã‚Šåˆ†ã‹ã‚Šã¾ã›ã‚“ã§ã—ãŸã€‚ do ã‹ã‚‰ >>= ã¸å¤‰å½¢ 上記㮠do ã‚’ >>= ã¸å¤‰å½¢ã™ã‚‹ã¨ã“ã†ãªã‚Šã¾ã™ã€‚ [1,2] >>= (\x -> guard (x < 2)
第4回　「å–り出ã—å¯èƒ½ãªå€¤ã€ã®ã¿ã‚’æŒã¤Listモナド
å‰å›žã®ãƒ¢ãƒŠãƒ‰ã®ç´¹ä»‹ã«å¼•ã続ã，今回ã¯å…·ä½“çš„ãªãƒ¢ãƒŠãƒ‰ã®ä¾‹ã«ã¤ã„ã¦è¦‹ã¦ã„ããŸã„ã¨æ€ã„ã¾ã™ã€‚ ã¨ã¯ã„ã£ã¦ã‚‚，今回ã¯ã¾ã IOモナドã¯å–り上ã’ã¾ã›ã‚“。ãŸã—ã‹ã«ï¼ŒHaskellã®ãƒ¢ãƒŠãƒ‰ã¯IOモナドをæ„è˜ã—ã¦ä½œã‚‰ã‚Œã¦ã„ã‚‹ãŸã‚，IOモナドã«ã¤ã„ã¦èª¬æ˜Žã—ãŸã»ã†ãŒã—ã£ãã‚Šãる部分もã‚ã‚Šã¾ã™ã€‚ ãŸã ，IOモナドã¯Haskellã§ä½¿ã‚ã‚Œã¦ã„る様々ãªæŠ€è¡“を組ã¿åˆã‚ã›ãŸã‚‚ã®ã«ãªã£ã¦ã„ã¾ã™ã€‚ã„ããªã‚ŠIOモナドã«ã¤ã„ã¦èª¬æ˜Žã™ã‚‹ã¨ï¼Œã©ã‚ŒãŒIOモナドã®æœ¬è³ªã§ã©ã‚ŒãŒãã†ã§ãªã„ã®ã‹ãŒã‚ã‹ã‚‰ãªããªã£ã¦ã—ã¾ã„ã¾ã™ã€‚技術的ãªè¦è«‹ã§ã—ã‹ãªã„ã‚‚ã®ã‚’，IOモナドã®æ€§è³ªã¨å‹˜é•ã„ã—ã¦ã—ã¾ã†å±é™ºæ€§ãŒã‚ã‚‹ã®ã§ã™ã€‚ ã“ã†ã—ãŸå•é¡Œã‚’回é¿ã™ã‚‹ã«ã¯ï¼ŒåŸºç¤Žçš„ãªã‚‚ã®ã‹ã‚‰æ®µã€…ã¨ç©ã¿é‡ãã¦ç†è§£ã—ã¦ã„ãã®ãŒã‚ˆã„ã§ã—ょã†ã€‚å‰å›žï¼Œã‚³ãƒ³ãƒ†ãƒŠãŒæŒã¤å€¤ã«ã¯ã€Œå–り出ã—å¯èƒ½ãªå€¤ã€ã¨ã€Œå–り出ã—ä¸å¯èƒ½ãªå€¤ã€ãŒã‚ã‚‹ã¨èª¬æ˜Žã—ã¾ã—ãŸã€‚今回ã¯ï¼Œã€Œå–り出ã—å¯èƒ½ãªå€¤ã€ã®ã¿ã‚’æŒã¤ã‚³ãƒ³ãƒ†ãƒŠã§ã‚ã‚‹Li
All About Monads モナドã®ã™ã¹ã¦
モナドã®ã™ã¹ã¦ Haskell ã«ãŠã‘るモナドプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ç†è«–ã¨å®Ÿè·µã«é–¢ã™ã‚‹åŒ…括的ガイド Version 1.1.0 ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ã€ãƒ¢ãƒŠãƒ‰ã®æ¦‚念ã¨ãã®é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã‘る応用㫠ã¤ã„ã¦ã€åˆä¸ç´šã® Haskell プãƒã‚°ãƒ©ãƒžã«ã‚ã‹ã‚Šã‚„ã™ãã€åˆ©ç”¨ä¾¡å€¤ãŒã‚るよã†ãª 解説をã™ã‚‹ã“ã¨ã‚’æ—¨ã¨ã—ã¦ã„ã¾ã™ã€‚èªè€…㯠Haskell ã«ãªã‚Œã¦ã„ã‚‹ã“ã¨ã‚’å‰æ㨠ã—ã¾ã™ãŒã€ãƒ¢ãƒŠãƒ‰ã«é–¢ã™ã‚‹çµŒé¨“ã¯è¦æ±‚ã—ã¦ã„ã¾ã›ã‚“。ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ã€å¤š ãã®é¡Œæã‚’ã‚«ãƒãƒ¼ã—ã¦ã„ã¾ã™ã€‚後åŠã®ã‚»ã‚¯ã‚·ãƒ§ãƒ³ã§ã¯ã€å‰åŠã®é¡Œæをよãç†è§£ã— ã¦ã„ã‚‹ã“ã¨ã‚’å‰æã¨ã—ã¾ã™ã€‚é †ã‚’ãŠã£ã¦ã€ãƒ¢ãƒŠãƒ‰ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’例示ã™ã‚‹ãŸã‚ ã®ã‚µãƒ³ãƒ—ルコードãŒãŸãã•ã‚“用æ„ã•ã‚Œã¦ã„ã¾ã™ã€‚一èªã§ã€ã™ã¹ã¦ã®é¡Œæã‚’å¸åŽã— よã†ã¨ã„ã†ã®ã¯ãŠå‹§ã‚ã§ãã¾ã›ã‚“。 ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ 3 ã¤ã®éƒ¨åˆ†ã§æ§‹æˆã•ã‚Œã¦ã„ã¾ã™ã€‚最åˆã®éƒ¨åˆ†ã¯ã€ 関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã‘るモナドã®åŸºæœ¬çš„
1
メンテナンス
ãŠçŸ¥ã‚‰ã›
障害
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
091119_ScalaChap89_talk.ppt
BiwaSlide
https://www.chimaira.org/archive/slide20090521-1s.pdf
{{#tags}}- {{label}}
{{/tags}}