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

VoQn id:VoQn

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

${{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}}

ãƒ¢ãƒŠãƒ‰ãƒˆãƒ©ãƒ³ã‚¹ãƒ•ã‚©ãƒ¼ãƒžãƒ¼ãƒ»ã‚¹ãƒ†ãƒƒãƒ—ãƒ»ãƒã‚¤ãƒ»ã‚¹ãƒ†ãƒƒãƒ—(Monad Transformers Step By Step) - ã‚Šã‚“ã”ãŒã§ã¦ã„ã‚‹
è‘—è€…ã®Martin GrabmÃ¼lleræ°ã«è¨±å¯ã‚’ã„ãŸã ãã¾ã—ãŸã®ã§ã€ Haskellãƒ¢ãƒŠãƒ‰ãƒˆãƒ©ãƒ³ã‚¹ãƒ•ã‚©ãƒ¼ãƒžãƒ¼ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’ç¿»è¨³ã—ãŸã‚‚ã®ã‚’å…¬é–‹ã—ã¾ã™ã€‚ ã‚¿ã‚¤ãƒã‚„èª¤è¨³ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®ãƒŸã‚¹ç‰ã‚ã‚Šã¾ã—ãŸã‚‰ã€ Twitterå®›@bicycle1885ã‹ã‚³ãƒ¡ãƒ³ãƒˆæ¬„ã¾ã§ã”é€£çµ¡é ‚ã‘ã‚‹ã¨ã‚ã‚ŠãŒãŸã„ã§ã™ã€‚ å…ƒã®ãƒ†ã‚ã‚¹ãƒˆã‚„ãƒ—ãƒã‚°ãƒ©ãƒ ã¯ä»¥ä¸‹ã®ãƒªãƒ³ã‚¯ã‹ã‚‰å¾—ã‚‰ã‚Œã¾ã™ã€‚ Monad Transf ormers Step by Step [2012/12/19] èª¤ã‚Šã‚’å¤šæ•°è¨‚æ£ã—ã¾ã—ãŸã€‚id:qtamakiã•ã‚“ã€ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ [2014/6/19] èª¤ã‚Šã‚’2ç‚¹è¨‚æ£ã—ã¾ã—ãŸã€‚id:daimatzã•ã‚“ã€id:hitotakuchanã•ã‚“ã€ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ Monad Transf ormers Step by Step Martin GrabmÃ¼ller Oct 16 2006 æ¦‚è¦(Abstract) ã“ã®
VoQn 2014/08/28
ãƒ¢ãƒŠãƒ‰å¤‰æ›åå…¥é–€

monad

haskell
ãƒªãƒ³ã‚¯
Functors, Applicatives, And Monads In Pictures - adit.io
Written April 17, 2013 updated: May 20, 2013 Here's a simple value: And we know how to apply a function to this value: Simple enough. Lets extend this by saying that any value can be in a context. For now you can think of a context as a box that you can put a value in: Now when you apply a function to this value, you'll get different results depending on the context. This is the idea that Functors
VoQn 2013/04/20
haskell ã® ãƒ¢ãƒŠãƒ‰è«–ã§ä¸€ç•ªã‚ã‹ã‚Šã‚„ã™ã„ã‚

Functor

Application

monad

haskell
ãƒªãƒ³ã‚¯
Applicativeã®ã‚¹ã‚¹ãƒ¡ - ã‚ã©ã‘ãªã„è©±
ã“ã®è¨˜äº‹ã®ç›®çš„ã¯ã€Applicative ä¿¡è€…ã«ã‚ˆã‚‹ Applicative ã‚¹ã‚¿ã‚¤ãƒ«ã®å¸ƒæ•™ã§ã™ã€‚ ç°¡æ½”ã«çµè«–ã‚’è¿°ã¹ã‚‹ã¨ã€ foo = do a <- m1 b <- m2 return (f a b) ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ã‚’æ›¸ããŸããªã£ãŸã‚‰ foo = f <$> m1 <*> m2 ã¨æ›¸ãã¾ã—ã‚‡ã†ã¨ã„ã†ã“ã¨ã€‚ åˆã„è¨€è‘‰ã¯ã€ã€Œdo ã¨ return ã‚’ãªãã›ï¼ã€ã§ã™ã€‚ Functorã¨Monadã®é–“ Functor ã‚’ç‰¹æ®ŠåŒ–ã—ãŸåž‹ã‚¯ãƒ©ã‚¹ãŒMonadã§ã€Monadã®æ–¹ãŒå¼·åŠ›ã§ã™ã€‚ãªãœãªã‚‰ã€ãƒ¡ã‚½ãƒƒãƒ‰ãŒå¢—ãˆã‚‹ã‹ã‚‰ã§ã™ã€‚ Functorã®ãƒ¡ã‚½ãƒƒãƒ‰ã¯fmapã§ã™ã€‚fmapã®åˆ¥åã‚’ (<$>) ã¨ã„ã„ã¾ã™ã€‚(ã“ã®è¨˜äº‹ã§ã¯ã€(<$>) ã¨ liftM ã‚’åŒä¸€è¦–ã—ã¾ã™ã€‚) ãã—ã¦ã€Monadã®ãƒ¡ã‚½ãƒƒãƒ‰ã¯ã€ã”å˜çŸ¥ã®é€šã‚Š (>>=) ã¨ return ã§ã™ã€‚ Functorã¨Monadã®é–“ã«Applicative
VoQn 2012/03/06
Applicativeã®å˜åœ¨ã‚’çŸ¥ã£ã¦ã‹ã‚‰ã®æ–¹ãŒã‚ˆã‚ŠFunctor, Monad ãŒä½•ã§å¼·åŠ›ã¨è¨€ã‚ã‚Œã‚‹ã®ã‹ã‚ã‹ã£ãŸæ°—ãŒã™ã‚‹ï¼Ž

Applicative

monad

Functor

programming

haskell
ãƒªãƒ³ã‚¯
The Typeclassopediaã‚’è¨³ã—ã¾ã—ãŸ, The Typeclassopedia - #3(2009-10-20)
â– [Haskell] The Typeclassopediaã‚’è¨³ã—ã¾ã—ãŸ The Monad.Readerã®Issue 13ã«æŽ²è¼‰ã•ã‚ŒãŸThe Typeclassopediaã¨ã„ã†è¨˜äº‹ãŒã€Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowã¨ã„ã£ãŸã‚ˆã†ãªåž‹ã‚¯ãƒ©ã‚¹ã«ã¤ã„ã¦è‰¯ãã¾ã¨ã¾ã£ã¦ã„ã¦ã€ãã®ã‚ãŸã‚Šã‚’çŸ¥ã‚ŠãŸã„æ™‚ã®å–ã£æŽ›ã‹ã‚Šã«ãªã‚Šãã†ã ã£ãŸã®ã§ç¿»è¨³ã—ã¦ã¿ã¾ã—ãŸã€‚ ä½œè€…ã®Brent Yorgeyã•ã‚“ã‹ã‚‰ã‚‚è¨±å¯ãŒã„ãŸã ã‘ãŸã®ã§å…¬é–‹ã—ã¾ã™ã€‚ç¿»è¨³ã«æ…£ã‚Œã¦ã„ãªã„ã®ã§å¤‰ãªæ—¥æœ¬èªžï¼ˆç‰¹ã«å°‚é–€ç”¨èªžã®æ—¥æœ¬èªžè¨³ã¯ã‹ãªã‚Šæ€ªã—ã„ï¼‰ãŒã‚ã£ãŸã‚Šã€ãã‚‚ãã‚‚é–“é•ã£ã¦ã„ãŸã‚Šã™ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã®ã§ã€ä½•ã‹è¦‹ã¤ã‘ãŸã‚‰ã‚³ãƒ¡ãƒ³ãƒˆã‚’é ‚ã‘ã‚‹ã¨åŠ©ã‹ã‚Šã¾ã™ã€‚ â– [Haskell] The Typeclassopedia by Brent Yorgey <first
VoQn 2012/01/14
haskell

monad

programming

Arrow

Applicative

Functor
ãƒªãƒ³ã‚¯
BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-3 : ä»•æ§˜å¤‰æ›´ã¯ãƒ†ã‚¹ãƒˆã‹ã‚‰
å‰å›žã¾ã§ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã¯ã“ã¡ã‚‰ BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’è€ƒãˆã‚‹ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 Haskell ã®æµ®å‹•å°æ•°ç‚¹å°æ•°ã®åŒå€¤æ¯”è¼ƒã«ã¤ã„ã¦ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®1 : HUnit ã§ TDD ã‚’ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®2 : QuickCheck ã§ãƒ©ãƒ³ãƒ€ãƒ ãƒ†ã‚¹ãƒˆ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-1 catch ã§ããªã„å“€ã—ã¿ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-2 throw Exception ã‚’ä½¿ã‚ãšåŸºæœ¬ã¯ Either ã‚’ä½¿ãŠã† ä»Šå›žã®ãƒ†ãƒ¼ãƒž - ã€Œãƒ†ã‚¹ãƒˆæ¸ˆã¿ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã®ä»•æ§˜å¤‰æ›´ã€å‰å›žæ›¸ã„ãŸã‚ˆã†ã«ï¼ŒIO ãŒçµ¡ã¾ãªã„ã¯ãšã®é–¢æ•°ç¾¤ã« Exception ã‚’ throw ã•ã›ã‚‹ã‚ˆã‚Šã¯ Either <Error> <Success>
VoQn 2012/01/10
ä»Šå›žã¯ "ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã®ä»•æ§˜å¤‰æ›´ã¯ãƒ†ã‚¹ãƒˆã‹ã‚‰! " ã¨ã„ã†è¨€èªžã«é–¢ä¿‚ãªã„ TDD/BDD ã®åŸºæœ¬ã‚’ Haskell ã®å®Ÿä¾‹ã§æ›¸ãã¾ã—ãŸ

BDD

tdd

haskell

monad
ãƒªãƒ³ã‚¯
ãƒ¢ãƒŠãƒ‰ã¨ã„ã†è¨€è‘‰ã‚’ä½¿ã†ã“ã¨ãªãï½¤ç´”ç²‹é–¢æ•°åž‹è¨€èªžã®å…¥å‡ºåŠ›ã‚’è§£èª¬ã™ã‚‹ï½¡Rubyã§ï½¡ - <s>gnarl,</s>æŠ€è¡“ãƒ¡ãƒ¢â€â€™<marquee><textarea>ï¿¥
ã“ã‚Œã¯Ruby Advent Calendarã®21æ—¥ç›®ã®è¨˜äº‹ã§ã™*1ï½¡20æ—¥ç›®ã¯@sasata299ã•ã‚“ã®Herokuã£ã¦ä¾¿åˆ©ã ã—åˆ©ç”¨ã¾ã§ãŸã£ãŸ3ã‚¹ãƒ†ãƒƒãƒ—ã§ã™ãŠï¼ï¼ã§ã—ãŸï½¡ ã¯ã˜ã‚ã« æœ¬å½“ã¯ã€ŒPure Rubyã§å‹•ãã‹ã£ã“ã„ã„å½¢æ…‹ç´ è§£æžã‚¨ãƒ³ã‚¸ãƒ³ãŒã§ããŸ!!!ã€ã¿ãŸã„ãªè¨˜äº‹ã‚’æ›¸ãäºˆå®šã§ã—ãŸãŒï½¤ç›®æ¨™ã®ã‚¯ã‚ªãƒªãƒ†ã‚£ã«é”ã—ãªã‹ã£ãŸã®ã§ãƒªãƒªãƒ¼ã‚¹ã¯å»¶æœŸã•ã‚Œã¾ã—ãŸï½¡ ã‚¯ãƒªã‚¹ãƒžã‚¹ã”ã‚ã«ãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã‚‹ã¨ã„ã„ã§ã™ãï½¡ ã•ã¦ï½¤ã“ã®è¨˜äº‹ã§ã¯ï½¤Haskellã®ã‚ˆã†ãªç´”ç²‹é–¢æ•°åž‹è¨€èªžãŒã©ã®ã‚ˆã†ã«å‰¯ä½œç”¨ã‚’ä¼´ã†å‡¦ç†ã‚’å®Ÿç¾ã—ã¦ã„ã‚‹ã‹ã«ã¤ã„ã¦ï½¤Rubyã«ã‚ˆã‚‹å®Ÿè£…ã‚’ä½¿ã£ã¦è§£èª¬ã—ã¾ã™ï½¡ãƒ¢ãƒŠãƒ‰ã¨ã„ã†è¨€è‘‰ãŒå…¨ãå‡ºã¦ã“ãªã„ã®ã§ã‚¢ãƒ¬ãƒ«ã‚®ãƒ¼ã®ã‹ãŸã‚‚å®‰å¿ƒã§ã™ãï½¡ ç´”ç²‹é–¢æ•°ã¨ã¯ åŒã˜å¼•æ•°ã‚’æ¸¡ã™é™ã‚Šï½¤ã©ã®ã‚ˆã†ãªé †ç•ªã§ä½•åº¦å‘¼ã‚“ã§ã‚‚åŒã˜çµæžœãŒè¿”ã‚‹ã‚ˆã†ãªé–¢æ•°ã®ã“ã¨ã§ã™ï½¡ ä½•ãŒå•é¡Œãªã®ã‹ puts 'hello!' res1=gets puts 'hel
VoQn 2012/01/07
ã‚ã‹ã‚Šã‚„ã™ã„

ruby

monad
ãƒªãƒ³ã‚¯
1