[B! monad] perezvonã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

perezvon id:perezvon

monadã«é–¢ã™ã‚‹perezvonã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (9)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

ç¶™ç¶šãƒ¢ãƒŠãƒ‰ã«ã‚ˆã‚‹ãƒªã‚½ãƒ¼ã‚¹ç®¡ç† - Qiita
ç¶™ç¶šãƒ¢ãƒŠãƒ‰ã£ã¦ä½•ã«ä½¿ã†ã‚“ã å•é¡Œã«å¯¾ã™ã‚‹ä¸€ã¤ã®ä¾‹ã€‚ ãƒªã‚½ãƒ¼ã‚¹ç®¡ç†ã®å•é¡Œ ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ã‚„ã£ã¦ã„ã‚‹ã¨å¿…ãšã¾ã¨ã‚ã‚Šä»˜ã„ã¦ãã‚‹ã®ãŒãƒªã‚½ãƒ¼ã‚¹ç®¡ç†ã®å•é¡Œã§ã™ã€‚ã“ã“ã§æŒ‡ã™ãƒªã‚½ãƒ¼ã‚¹ã¨ã„ã†ã®ã¯ã€ãƒ•ã‚¡ã‚¤ãƒ«ã®ãƒãƒ³ãƒ‰ãƒ«ã ã¨ã‹ã€ã‚½ã‚±ãƒƒãƒˆã ã¨ã‹ã€æŽ’ä»–å‡¦ç†ã®ãŸã‚ã®ãƒãƒƒã‚¯ã ã¨ã‹ã€ã‚°ãƒ©ãƒ•ã‚£ãƒƒã‚¯ã®ãƒãƒ³ãƒ‰ãƒ«ã ã¨ã‹ãã†ã„ã†è©±ã§ã€GCã®ãªã„è¨€èªžã ã¨ãƒ¡ãƒ¢ãƒªã®ç®¡ç†ã‚‚ã“ã‚Œã«å«ã¾ã‚Œã‚‹ã§ã—ã‚‡ã†ã‹ã€‚ è¨€ã†ã¾ã§ã‚‚ãªãã€ãƒªã‚½ãƒ¼ã‚¹ã‚’ç¢ºä¿ã—ãŸå¾Œã¯ã—ã‹ã‚‹ã¹ãã‚¿ã‚¤ãƒŸãƒ³ã‚°ã§ç¢ºå®Ÿã«è§£æ”¾ã—ã¦ã‚„ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ã—ã‹ã—å¾€ã€…ã«ã—ã¦ã€ç¾å®Ÿã®ãƒ—ãƒã‚°ãƒ©ãƒ ã§ã¯ãƒªã‚½ãƒ¼ã‚¹ã®è§£æ”¾æ¼ã‚ŒãŒç™ºç”Ÿã—ã¦ã—ã¾ã„ã¾ã™ã€‚å˜ã«è§£æ”¾ã™ã‚‹ã‚³ãƒ¼ãƒ‰ã‚’æ›¸ãå¿˜ã‚Œã‚‹ã¨è¨€ã†ã®ãŒä¸€ç•ªå˜ç´”ã§ã—ã‚‡ã†ã‚‚ãªã„ç†ç”±ã§ã™ãŒã€ãã‚Œã§ã‚‚ã€Cè¨€èªžã®ã‚ˆã†ã«ãƒªã‚½ãƒ¼ã‚¹è§£æ”¾ã®ãŸã‚ã®ç‰¹åˆ¥ãªä»•çµ„ã¿ã‚’æŒãŸãªã„è¨€èªžã§ã¯ã€ã“ã‚Œã‚’å¾¹åº•ã™ã‚‹ã®ã‚‚çµæ§‹éª¨ã®æŠ˜ã‚Œã‚‹ã“ã¨ã ã£ãŸã‚Šã—ã¾ã™ã€‚ãã‚Œã¯ã¨ã‚‚ã‹ãã€ã‚‚ã†å°‘ã—é«˜å°šãªæ‚©ã¿ã¨ã—ã¦ã¯ã€ä¾‹å¤–ã¨ã®çµ„ã¿åˆã‚ã›ã§ç™ºç”Ÿã™ã‚‹è§£
perezvon 2015/06/28
haskell

monad
ãƒªãƒ³ã‚¯
example of why to use monads - what they can do - School of Haskell | School of Haskell
perezvon 2014/03/19
haskell

monad
ãƒªãƒ³ã‚¯
Graphics and FPL: Logging flow activity
Friday, February 21, 2014 Logging flow activity Foreword Everyone needs to log things in a program. Have you already wondered what kind of logs you were dealing with? I donâ€™t mean debug, warning or error logs. I mean semantic here. Basically, Iâ€™ll put apart two concepts: tracing an algorithmâ€™s behavior tracing a flow activity Tracing an algorithmâ€™s behavior is something we often do in Haskell with
perezvon 2014/03/13
haskell

monad
ãƒªãƒ³ã‚¯
Monad tutorial
1. å‡½æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®é›†ã„2011 ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚•ãƒ« ã€Œãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦ã€ æ ªå¼ä¼šç¤¾ Preffered Infrastructure ç”°ä¸ è‹±è¡Œ tanaka.hideyuki@gmail.com 2. è‡ªå·±ç´¹ä»‹ â€¢ ç”°ä¸è‹±è¡Œ (@tanakh, id:tanakh) â€¢ æ ªå¼ä¼šç¤¾ Preferred Infrastructure (PFI) å‹¤å‹™ â€“ æ¤œç´¢ã‚¨ãƒ³ã‚¸ãƒ³ã®ã‚•ãƒ«ã‚´ãƒªã‚ºãƒ ã¨ã‹ä½œã£ã¦ã¾ã™ â€¢ Haskell (2004ï½ž) â€¢ C++ (1998ï½ž) â€¢ BASIC (1992ï½ž) â€¢ ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚³ãƒ³ãƒ†ã‚¹ãƒˆæ„›å¥½å®¶ â€“ ICPC, ICFPC, CodeJam, TopCoder, â€¦
perezvon 2013/05/24
haskell

monad
ãƒªãƒ³ã‚¯
ResourceT Overview
perezvon 2013/05/09
haskell

yesod

monad
ãƒªãƒ³ã‚¯
How to catch an exception inside runResourceT
perezvon 2013/01/18
Is there a way to catch an exception inside runResourceT? Control.Exception.Lifted

haskell

monad
ãƒªãƒ³ã‚¯
liftMã‚’å¦ã¶(ãƒ¢ãƒŠãƒ‰ã«é–¢æ•°ã‚’é©ç”¨ã™ã‚‹) - sirocco ã®æ›¸ã„ã¦ã‚‚ã™ãã«å¿˜ã‚Œã‚‹ãƒ¡ãƒ¢
liftM ã®ä½¿ã„æ–¹ãŒåˆ†ã‹ã‚‰ãªã‹ã£ãŸã®ã§èª¿ã¹ã¦ã¿ã¾ã—ãŸã€‚ ghci> :m + Control.Monad ghci> :t liftM liftM :: (Monad m) => (a1 -> r) -> m a1 -> m r liftM ã¯ a1 ã‚’å¼•æ•°ã« r ã‚’å¸°ã™é–¢æ•°ã¨ ãƒ¢ãƒŠãƒ‰ã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ a1 ã‚’å¼•æ•°ã«ã¨ã‚Šã€ ãƒ¢ãƒŠãƒ‰ã® r ã‚’è¿”ã™ã€‚ ã¤ã¾ã‚Šã€a1 ã‚’å¼•æ•°ã« r ã‚’å¸°ã™æ™®é€šã®é–¢æ•°ã‚’ãƒ¢ãƒŠãƒ‰ã«ã‚‚é©ç”¨å‡ºæ¥ã‚‹ã‚ˆã†ã«ã™ã‚‹ã‚‚ã®ã€ã£ã¦ç†è§£ã§è‰¯ã„ã‹ãªã€‚ ã€ŒliftMé–¢é€£ - ãŠã£ã±ã„å¤§é”ç¥žã®æ—¥è¨˜ã€ã®ä¾‹ãŒåˆ†ã‹ã‚Šã‚„ã™ã„ã€‚ import Control.Monad str = return "Haskell"::Maybe String main = print $ liftM length str length ã¯ãƒªã‚¹ãƒˆã‚’å¼•æ•°ã«ãƒªã‚¹ãƒˆã®é•·ã•ã‚’è¿”ã™é–¢æ•°ã§ã™ã‹ã‚‰ã€ä»¥ä¸‹ã®ã‚ˆã†ã«ãã®ã¾ã¾ã§ã¯Maybeåž‹ã®
perezvon 2013/01/17
liftM

haskell

monad
ãƒªãƒ³ã‚¯
Freeãƒ¢ãƒŠãƒ‰ã£ã¦ä½•ãªã®ã•ã£ï¼ï¼Ÿ - capriccioso String Creating(Object something){ return My.Expression(something); }
æœ€è¿‘Haskellerã®é–“ã§Freeãƒ¢ãƒŠãƒ‰ãŒç†±ã„ã§ã™ã€‚ Haskellã§æ‚Ÿã‚Šã‚’é–‹ã„ãŸäººãŒFreeãƒ¢ãƒŠãƒ‰ã§å†ã³æ‚Ÿã‚Šã‚’é–‹ã„ãŸã‚Šã—ã¦ã€ãªã‚“ã‹ã‚ˆãè§£ã‚‰ãªã„ã‘ã©å‡„ã„ã“ã¨ã«ãªã£ã¦ã„ã‚‹ä»Šæ—¥ã“ã®ã”ã‚ã§ã™ãŒã€ã™ã£ã‹ã‚Šä¹—ã‚Šé…ã‚Œã¦ã„ã¾ã—ãŸã€‚ã©ã†ã‚‚ã€è²´å¥³ã®ã¡ã‚…ãƒ¼ã‚“ã§ã™ã€‚ ã§ã€çš†ã“ãžã£ã¦ã€Œã™ã”ã„ã™ã”ã„ã€ã¨è¨€ã£ã¦ã„ã‚‹Freeãƒ¢ãƒŠãƒ‰ãªã®ã§ã€æµçŸ³ã«ã„ã¤ã‚‚ã¾ã§ã‚‚å…¨ç„¶çŸ¥ã‚‰ãªã„ã®ã¯ãƒžã‚ºã‚¤ã‚“ã˜ã‚ƒãªã„ã‹ãªãã¨ã‹æ€ã£ã¦ã€é‡ã„è…°ã‚’æŒã¡ä¸Šã’èª¿ã¹ãªãŒã‚‰ã“ã®è¨˜äº‹ã‚’æ›¸ãå§‹ã‚ãŸãƒ¯ã‚±ã§ã™ã‚ˆã€‚ã¯ã„ã€‚*1 ã‘ã£ã“ã†æ€¥ãŽã§å‹‰å¼·ã—ã¦æ›¸ãä¸Šã’ãŸã®ã§éšæ‰€ã«é–“é•ã„ã‚ã‚‹ã‹ã‚‚ã§ã™ã€‚ãƒ„ãƒƒã‚³ãƒŸãŠå¾…ã¡ã—ã¦ã¾ã™ã€‚ ã•ã¦ã€ã“ã®ã€ŒFreeãƒ¢ãƒŠãƒ‰ã€ã«ã¤ã„ã¦ã€ã‚ªãƒ¬ã‚ªãƒ¬å®šç¾©ã§ç°¡å˜ã«è¨€è‘‰ã«ã™ã‚‹ã¨ã€‚ã€ŒFunctorã¨çµ„ã¿åˆã‚ã›ã¦æ§˜ã€…ãªæŒ™å‹•ã‚’å®Ÿç¾ã§ãã‚‹ãƒ¢ãƒŠãƒ‰ã€ã§ã™ã€‚ å¤§æŠµã€ŒMonadã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã€ã¨ã„ã†ã¨ã€Maybeã«ã—ã¦ã‚‚IOã«ã—ã¦ã‚‚ã€ã‚ã‚Šã¨å…·ä½“çš„ãªäº‹è±¡ã‚’æ‰±ã£ã¦ã¾ã™ãŒã€ã“ã®Freeãƒ¢
perezvon 2012/11/27
Free monad

haskell

monad
ãƒªãƒ³ã‚¯
Why free monads matter
Interpreters Good programmers decompose data from the interpreter that processes that data. Compilers exemplify this approach, where they will typically represent the source code as an abstract syntax tree, and then pass that tree to one of many possible interpreters. We benefit from decoupling the interpreter and the syntax tree, because then we can interpret the syntax tree in multiple ways. For
perezvon 2012/11/27
Free monad

haskell

monad
ãƒªãƒ³ã‚¯
1