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

chuwb id:chuwb

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

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

All About Monads ãƒ¢ãƒŠãƒ‰ã®ã™ã¹ã¦
ãƒ¢ãƒŠãƒ‰ã®ã™ã¹ã¦ Haskell ã«ãŠã‘ã‚‹ãƒ¢ãƒŠãƒ‰ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ç†è«–ã¨å®Ÿè·µã«é–¢ã™ã‚‹åŒ…æ‹¬çš„ã‚¬ã‚¤ãƒ‰ Version 1.1.0 ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ã€ãƒ¢ãƒŠãƒ‰ã®æ¦‚å¿µã¨ãã®é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã‘ã‚‹å¿œç”¨ã« ã¤ã„ã¦ã€åˆä¸ç´šã® Haskell ãƒ—ãƒã‚°ãƒ©ãƒžã«ã‚ã‹ã‚Šã‚„ã™ãã€åˆ©ç”¨ä¾¡å€¤ãŒã‚ã‚‹ã‚ˆã†ãª è§£èª¬ã‚’ã™ã‚‹ã“ã¨ã‚’æ—¨ã¨ã—ã¦ã„ã¾ã™ã€‚èªè€…ã¯ Haskell ã«ãªã‚Œã¦ã„ã‚‹ã“ã¨ã‚’å‰æã¨ ã—ã¾ã™ãŒã€ãƒ¢ãƒŠãƒ‰ã«é–¢ã™ã‚‹çµŒé¨“ã¯è¦æ±‚ã—ã¦ã„ã¾ã›ã‚“ã€‚ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ã€å¤š ãã®é¡Œæã‚’ã‚«ãƒãƒ¼ã—ã¦ã„ã¾ã™ã€‚å¾ŒåŠã®ã‚»ã‚¯ã‚·ãƒ§ãƒ³ã§ã¯ã€å‰åŠã®é¡Œæã‚’ã‚ˆãç†è§£ã— ã¦ã„ã‚‹ã“ã¨ã‚’å‰æã¨ã—ã¾ã™ã€‚é †ã‚’ãŠã£ã¦ã€ãƒ¢ãƒŠãƒ‰ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ä¾‹ç¤ºã™ã‚‹ãŸã‚ ã®ã‚µãƒ³ãƒ—ãƒ«ã‚³ãƒ¼ãƒ‰ãŒãŸãã•ã‚“ç”¨æ„ã•ã‚Œã¦ã„ã¾ã™ã€‚ä¸€èªã§ã€ã™ã¹ã¦ã®é¡Œæã‚’å¸åŽã— ã‚ˆã†ã¨ã„ã†ã®ã¯ãŠå‹§ã‚ã§ãã¾ã›ã‚“ã€‚ ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ 3 ã¤ã®éƒ¨åˆ†ã§æ§‹æˆã•ã‚Œã¦ã„ã¾ã™ã€‚æœ€åˆã®éƒ¨åˆ†ã¯ã€ é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã‘ã‚‹ãƒ¢ãƒŠãƒ‰ã®åŸºæœ¬çš„
chuwb 2015/09/28
monad
ãƒªãƒ³ã‚¯
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
chuwb 2013/04/20
monad
ãƒªãƒ³ã‚¯
Freeãƒ¢ãƒŠãƒ‰ã£ã¦ä½•ãªã®ã•ã£ï¼ï¼Ÿ - capriccioso String Creating(Object something){ return My.Expression(something); }
æœ€è¿‘Haskellerã®é–“ã§Freeãƒ¢ãƒŠãƒ‰ãŒç†±ã„ã§ã™ã€‚ Haskellã§æ‚Ÿã‚Šã‚’é–‹ã„ãŸäººãŒFreeãƒ¢ãƒŠãƒ‰ã§å†ã³æ‚Ÿã‚Šã‚’é–‹ã„ãŸã‚Šã—ã¦ã€ãªã‚“ã‹ã‚ˆãè§£ã‚‰ãªã„ã‘ã©å‡„ã„ã“ã¨ã«ãªã£ã¦ã„ã‚‹ä»Šæ—¥ã“ã®ã”ã‚ã§ã™ãŒã€ã™ã£ã‹ã‚Šä¹—ã‚Šé…ã‚Œã¦ã„ã¾ã—ãŸã€‚ã©ã†ã‚‚ã€è²´å¥³ã®ã¡ã‚…ãƒ¼ã‚“ã§ã™ã€‚ ã§ã€çš†ã“ãžã£ã¦ã€Œã™ã”ã„ã™ã”ã„ã€ã¨è¨€ã£ã¦ã„ã‚‹Freeãƒ¢ãƒŠãƒ‰ãªã®ã§ã€æµçŸ³ã«ã„ã¤ã‚‚ã¾ã§ã‚‚å…¨ç„¶çŸ¥ã‚‰ãªã„ã®ã¯ãƒžã‚ºã‚¤ã‚“ã˜ã‚ƒãªã„ã‹ãªãã¨ã‹æ€ã£ã¦ã€é‡ã„è…°ã‚’æŒã¡ä¸Šã’èª¿ã¹ãªãŒã‚‰ã“ã®è¨˜äº‹ã‚’æ›¸ãå§‹ã‚ãŸãƒ¯ã‚±ã§ã™ã‚ˆã€‚ã¯ã„ã€‚*1 ã‘ã£ã“ã†æ€¥ãŽã§å‹‰å¼·ã—ã¦æ›¸ãä¸Šã’ãŸã®ã§éšæ‰€ã«é–“é•ã„ã‚ã‚‹ã‹ã‚‚ã§ã™ã€‚ãƒ„ãƒƒã‚³ãƒŸãŠå¾…ã¡ã—ã¦ã¾ã™ã€‚ ã•ã¦ã€ã“ã®ã€ŒFreeãƒ¢ãƒŠãƒ‰ã€ã«ã¤ã„ã¦ã€ã‚ªãƒ¬ã‚ªãƒ¬å®šç¾©ã§ç°¡å˜ã«è¨€è‘‰ã«ã™ã‚‹ã¨ã€‚ã€ŒFunctorã¨çµ„ã¿åˆã‚ã›ã¦æ§˜ã€…ãªæŒ™å‹•ã‚’å®Ÿç¾ã§ãã‚‹ãƒ¢ãƒŠãƒ‰ã€ã§ã™ã€‚ å¤§æŠµã€ŒMonadã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã€ã¨ã„ã†ã¨ã€Maybeã«ã—ã¦ã‚‚IOã«ã—ã¦ã‚‚ã€ã‚ã‚Šã¨å…·ä½“çš„ãªäº‹è±¡ã‚’æ‰±ã£ã¦ã¾ã™ãŒã€ã“ã®Freeãƒ¢
chuwb 2013/02/20
monad
ãƒªãƒ³ã‚¯
Comprehending Monads
What's a monad? What's a monad? trait Monad[A] { def map[B](f: A => B): Monad[B] def flatMap[B](f: A => Monad[B]): Monad[B] } Note: there is no single, special Monad base trait! Provides a standard interface for composing and sequencing operations on some contained value(s) map: Applies a "regular" function to the contained value(s) flatMap: Applies a "monadic" function to the contained value(s) T
chuwb 2013/01/18
monad
ãƒªãƒ³ã‚¯
http://mew.org/~kazu/material/2011-monad.pdf
chuwb 2012/08/03
monad
ãƒªãƒ³ã‚¯
ã€ŒJavaScriptã§ã®éžåŒæœŸé–¢æ•°åˆæˆã€ã‚’ç¶™ç¶šãƒ¢ãƒŠãƒ‰ã§ - terazzoã®æ—¥è¨˜
ãŠé¡Œ: è¤‡æ•°å€‹ã®é–¢æ•°ãŒã‚ã£ã¦ã€é–¢æ•°ã‚’å‘¼ã³å‡ºã—ãŸçµæžœã‚’ä½¿ã£ã¦é–¢æ•°ã‚’å‘¼ã³å‡ºã—ã¦â€¦ã£ã¦ã„ã†ã®ã‚’1å€‹ã®é–¢æ•°ã«ã—ã¾ã™ã€‚ JavaScriptã§ã®éžåŒæœŸé–¢æ•°åˆæˆ - monjudohâ€™s diary é–¢æ•°ã®å½¢ã‚’è¦‹ã¦ã¿ã¾ã™ã€‚ // 1ã‚’è¶³ã™ function add1(callback,arg){ callback(arg+1); } ã‚³ãƒ¼ãƒ«ãƒãƒƒã‚¯é–¢æ•°ã‚’æ¸¡ã—ã¦ã€æˆ»ã‚Šå€¤ã§ã¯ãªãã‚³ãƒ¼ãƒ«ãƒãƒƒã‚¯é–¢æ•°ã‚’å‘¼ã³å‡ºã—ã¦ã‚‚ã‚‰ã†äº‹ã§çµæžœã‚’å–å¾—ã™ã‚‹â€¦â€¦ã“ã‚Œã£ã¦ã€ŒCPS(ç¶™ç¶šæ¸¡ã—å½¢å¼)ã€ï¼CPSãªã‚‰åˆ†ã‹ã‚‹ã‚ï¼(æœ¬å½“ã‹ï¼Ÿ) å‚è€ƒã«ã—ãŸã‚µã‚¤ãƒˆ: http://www.h4.dion.ne.jp/~unkai/js/js12.html http://practical-scheme.net/docs/cont-j.html JSDeferredã§è€ƒãˆã‚‹ãƒ¢ãƒŠãƒ‰ - JavaScriptã§éŠã¶ã‚ˆ - g:javascript Haske
chuwb 2012/07/29
monad
ãƒªãƒ³ã‚¯
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
chuwb 2012/04/16
haskell

monad
ãƒªãƒ³ã‚¯
Applicative ã‚ˆã‚Šã‚‚ Monad ã®æ–¹ãŒåŠ›ãŒå¼·ã„ç†ç”± - ã‚ã©ã‘ãªã„è©±
Applicative ã‚ˆã‚Šã‚‚ Monad ã®æ–¹ãŒåŠ›ãŒå¼·ã„ç†ç”±ã‚’è€ƒãˆã‚‹ãŸã‚ã®ãƒ¡ãƒ¢ã€‚ã“ã‚Œã‹ã‚‰è°è«–ã™ã‚‹ãŸã‚ã®ãŸãŸãå°ãªã®ã§ã€ãã†æ€ã£ã¦èªã‚“ã§æ¬²ã—ã„ã€‚ ã‚³ãƒ³ãƒ†ãƒŠã§åŒ…ã‚€ return Monad ã¨ã¯ã€ã‚³ãƒ³ãƒ†ãƒŠã§ã‚ã‚‹ã€‚ã‚³ãƒ³ãƒ†ãƒŠã¯ã€æ–‡è„ˆã‚’è¡¨ã™ã€‚ãŸã¨ãˆã°ã€Maybe ã¨ã„ã†ã‚³ãƒ³ãƒ†ãƒŠã¯ã€å¤±æ•—ã™ã‚‹ã‹ã‚‚ã—ã‚Œãªã„è¨ˆç®—ã¨ã„ã†æ–‡è„ˆã‚’è¡¨ã™ã€‚ é€šå¸¸ã®å€¤ã‚„é–¢æ•°ã‚’æ–‡è„ˆã«å…¥ã‚Œã‚‹ãŸã‚ã® API ãŒ return ã§ã‚ã‚‹ã€‚ return :: a -> ma ã‚³ãƒ³ãƒ†ãƒŠå†…ã§ã®é–¢æ•°é©ç”¨ <*> ä»¥ä¸‹ã®ã‚ˆã†ãªåž‹ã‚’æŒã¤é–¢æ•°ã‚’è€ƒãˆã‚‹ã€‚ f :: a -> b ã“ã®é–¢æ•°ã‚’ return ã‚’ä½¿ã£ã¦æ–‡è„ˆã®ä¸ã«å…¥ã‚Œã¦ã‚„ã‚‹ã¨ã€åž‹ã¯æ¬¡ã®ã‚ˆã†ã«ãªã‚‹ã€‚ return f :: m (a -> b) ã“ã®é–¢æ•°ã‚’ã€ã‚³ãƒ³ãƒ†ãƒŠå†…ã«ã‚ã‚‹å€¤ã«é©å¿œã™ã‚‹ãŸã‚ã® API ãŒ (<*>) ã§ã‚ã‚‹ã€‚ (<*>) :: m (a -> b) -> m a -> m b ã‚³ãƒ³ãƒ†
chuwb 2012/04/15
haskell

monad
ãƒªãƒ³ã‚¯
QAã§å¦ã¶Monad - ã‚ã©ã‘ãªã„è©±
ã“ã®è¨˜äº‹ã¯ã€Monad ã§ã¤ã¾ã¥ã„ãŸ Haskeller ã®ãŸã‚ã® Monad å†å…¥é–€ã§ã™ã€‚ Monadã¨ã¯ä½•ã§ã™ã‹ï¼Ÿ Monad ã¨ã¯ã€å˜ãªã‚‹åž‹ã‚¯ãƒ©ã‚¹ã®ä¸€ã¤ã§ã™ã€‚é›£ã—ã„ã¨ã„ã†é¢¨è©•ã‚‚ã‚ã‚Šã¾ã™ãŒã€ãã‚Œä»¥ä¸Šã§ã‚‚ãã‚Œä»¥ä¸‹ã§ã‚‚ã‚ã‚Šã¾ã›ã‚“ã€‚ ã“ã®åž‹ã‚¯ãƒ©ã‚¹ã®ãƒ¡ã‚½ãƒƒãƒ‰ã¯ã€return ã¨ >>= ã§ã™ã€‚ class Monad m where (>>=) :: m a -> (a -> m b) -> m b return :: a -> m a ã¤ã¾ã‚Šã€ä»¥ä¸‹ã‚’æº€ãŸã™åž‹ã®é›†åˆãŒ Monad ã§ã™ã€‚ m a ã§è¡¨ç¾ã§ãã‚‹ã‚ˆã†ã«ä¸€ã¤ã®åž‹å¤‰æ•°ã‚’æ ¼ç´ã™ã‚‹ã‚³ãƒ³ãƒ†ãƒŠåž‹ >>= ã¨ return ã‚’å®Ÿè£… return ã¯æ–°ã—ã„ã‚³ãƒ³ãƒ†ãƒŠã‚’ä½œã‚Šã€>>= ã¯äºŒã¤ã®ã‚³ãƒ³ãƒ†ãƒŠã‚’åˆæˆã—ã¾ã™ã€‚ Monad ã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã¯å¤±æ•—ç³»ã¨çŠ¶æ…‹ç³»ã«å¤§åˆ¥ã§ãã¾ã™ã€‚ä»¥ä¸‹ã«ä»£è¡¨çš„ãªã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã‚’ç¤ºã—ã¾ã™ã€‚ å¤±æ•—ç³»: Maybeã€[] (ãƒªã‚¹ãƒˆ)
chuwb 2011/12/21
haskell

monad

functional
ãƒªãƒ³ã‚¯
æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ - åœè«–ã‚„ãƒ¢ãƒŠãƒ‰ãŒã€ã©ã†ã—ã¦æ–‡æ›¸å‡¦ç†ã‚„XMLã¨é–¢ä¿‚ã™ã‚‹ã®ã§ã™ã‹ï¼Ÿ
â€¦ã¨ã„ã†é¡žï¼œãŸãã„ï¼žã®è³ªå•ã«ç”ãˆã‚‹ã®ã¯ã¡ã‚‡ã£ã¨é¢å€’ãªã‚“ã§ã™ã‘ã©ã€ã¨ã‚Šã‚ãˆãš1ã¤ã ã‘å…·ä½“ä¾‹ã‚’æŒ™ã’ã¦ãŠãã¾ã—ã‚‡ã†ã€‚ãƒ†ãƒ³ãƒ—ãƒ¬ãƒ¼ãƒˆå‡¦ç†ãŒã€ã‚‚ã‚ã«ãƒ¢ãƒŠãƒ‰ã«ãªã£ã¦ã„ã‚‹ã€ã£ã¦ãƒãƒŠã‚·ã€‚ä»Šå›žã¯ãƒ†ã‚ã‚¹ãƒˆå‡¦ç†ã«ã¤ã„ã¦èª¬æ˜Žã€‚æ¬¡å›žï¼ˆã„ã¤ã«ãªã‚‹ã‹ã¾ã£ãŸãä¸æ˜Žï¼‰ã¯XMLå‡¦ç†ã®äºˆå®šã€‚ ãƒ†ã‚ã‚¹ãƒˆå‡¦ç†ã ã‘ã§ã‚‚é•·ãƒ¼ã„èª¬æ˜Žï¼ˆæœ€é•·è¨˜éŒ²ã‹ã‚‚ï¼‰ãªã®ã ã‘ã©ã€åˆ†å‰²ã™ã‚‹ã¨â€œå‹¢ã„â€ãŒãªããªã‚‹ã‹ã‚‰ä¸€æŒ™æŽ²è¼‰ã€‚èªã‚€ã¨ãã¯ãƒ¦ãƒƒã‚¯ãƒªãƒ»ã‚¸ãƒƒã‚¯ãƒªèªã‚“ã§ãã ã•ã„ãã€‚ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°èª²é¡Œã‚‚ã€å®Ÿéš›ã«ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã—ãªã„ã¾ã§ã‚‚ã€ã€Œã“ã†ã‚„ã‚Œã°ã„ã„ãªã€ã¨ã„ã†æ–¹é‡ãã‚‰ã„ã¯è€ƒãˆã¦ãã ã•ã„ã€‚ â€»å°åˆ·ã®ã¨ãã¯ã‚µã‚¤ãƒ‰ãƒãƒ¼ãŒæ¶ˆãˆã¾ã™ã€‚ å†…å®¹ï¼š ãƒã‚¹ãƒˆã—ãŸãƒ†ã‚ã‚¹ãƒˆ ãƒ†ãƒ³ãƒ—ãƒ¬ãƒ¼ãƒˆå‡¦ç† ãƒ–ãƒãƒƒã‚¯ã€æ–‡å—åˆ—ã€åå‰ ãƒ•ãƒ©ãƒƒãƒˆãƒ»ãƒ†ã‚ã‚¹ãƒˆã¨ãƒ†ãƒ³ãƒ—ãƒ¬ãƒ¼ãƒˆãƒ»ãƒ†ã‚ã‚¹ãƒˆ å¤šæ®µéšŽã®ãƒ†ãƒ³ãƒ—ãƒ¬ãƒ¼ãƒˆå‡¦ç† è›‡è¶³ ç´ æã‚’æ•´ç†ã—ã‚ˆã† ãƒ¢ãƒŠãƒ‰ã«å‘ã‹ã£ã¦çªã£èµ°ã‚Œï¼ï¼ ãƒãƒƒãƒãƒªã€ãƒ¢ãƒŠãƒ‰ã ãœã‡ æ®‹ã‚Šã¯è„±å…Žã®ã”ã¨ã æœ€å¾Œã«è¨€ã£ã¦ãŠ
chuwb 2011/12/08
monad
ãƒªãƒ³ã‚¯
ã€Œãƒ¢ãƒŠãƒ‰ã¯è±¡ã (Monads are Elephants)ã€æ—¥æœ¬èªžè¨³ â€” Japanese Translation of Monads are Elephants v1.0 documentation
ã€Œãƒ¢ãƒŠãƒ‰ã¯è±¡ã (Monads are Elephants)ã€æ—¥æœ¬èªžè¨³Â¶ ã“ã®æ–‡ç« ã¯ã€ä»¥ä¸‹ã®è¨˜äº‹ã®ç¿»è¨³ã§ã™ã€‚ Monads are Elephants: http://james-iry.blogspot.com/2007/09/monads-are-elephants-part-1.html http://james-iry.blogspot.com/2007/10/monads-are-elephants-part-2.html http://james-iry.blogspot.com/2007/10/monads-are-elephants-part-3.html http://james-iry.blogspot.com/2007/11/monads-are-elephants-part-4.html JAMES IRY:ONE DIV ZERO: http://james-iry
chuwb 2011/06/10
functional

programming

monad
ãƒªãƒ³ã‚¯
ãƒ¢ãƒŠãƒ‰ã¯ãƒ¡ã‚¿ãƒ•ã‚¡ãƒ¼ã§ã¯ãªã„ Â· eed3si9n
2011-05-28 Scalaç•Œã®é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ä¸€æ´¾ã‚’ä»£è¡¨ã™ã‚‹è«–å®¢ã®ä¸€äººã€@djspiewak ãŒ 2010å¹´ã«æ›¸ã„ãŸ â€œMonads Are Not Metaphorsâ€ ã‚’ç¿»è¨³ã—ã¾ã—ãŸã€‚ç¿»è¨³ã®å…¬é–‹ã¯æœ¬äººã‚ˆã‚Šè¨±è«¾æ¸ˆã¿ã§ã™ã€‚ç¿»è¨³ã®é–“é•ã„ç‰ãŒã‚ã‚Œã°é æ…®ãªãã”æŒ‡æ‘˜ãã ã•ã„ã€‚ 2010å¹´12æœˆ27æ—¥ Daniel Spiewak è‘— 2011å¹´5æœˆ29æ—¥ e.e d3si9n è¨³ åƒ•ã¯ä»Šã€ç´„æŸã‚’ç ´ã‚‹ã¨ã“ã‚ã ã€‚ãŠã‚ˆãä¸‰å¹´å‰ã€åƒ•ã¯çµ¶å¯¾ã«ãƒ¢ãƒŠãƒ‰ã®è¨˜äº‹ã ã‘ã¯æ›¸ã‹ãªã„ã¨è‡ªåˆ†ã«ç´„æŸã—ãŸã€‚æ—¢ã«ãƒ¢ãƒŠãƒ‰ã«é–¢ã™ã‚‹è¨˜äº‹ã¯æœ‰ã‚Šä½™ã£ã¦ã„ã‚‹ã€‚è¨˜äº‹ã®æ•°ãŒå¤šã™ãŽã¦ãã®å¤šã•ã ã‘ã§å¤šãã®äººã¯æ··ä¹±ã—ã¦ã„ã‚‹ã€‚ã—ã‹ã‚‚å…¨å“¡ãŒãƒ¢ãƒŠãƒ‰ã«å¯¾ã—ã¦ç•°ãªã‚‹æ‰±ã„æ–¹ã‚’ã—ã¦ã„ã‚‹ãŸã‚ã€ãƒ¢ãƒŠãƒ‰ã®æ¦‚å¿µã‚’åˆã‚ã¦å¦ã¼ã†ã¨ã™ã‚‹è€…ã¯ã€ãƒ–ãƒªãƒˆãƒ¼ã€å®‡å®™æœã€è±¡ã€ç ‚æ¼ ã®ãƒ™ãƒ‰ã‚¦ã‚£ãƒ³ (è¨³æ³¨: ã‚¢ãƒ©ãƒ–ç³»éŠç‰§æ°‘) ã®å…±é€šé …ã‚’æŽ¢ã™åŠªåŠ›ã‚’ã™ã‚‹ãƒãƒ¡ã«ãªã£ã¦ã„ã‚‹ã€‚ åƒ•ã¯ã€ã“ã®æ··ä¹±ã—ãŸ
chuwb 2011/05/30
functional

monad
ãƒªãƒ³ã‚¯
ã€Œãƒ¢ãƒŠãƒ‰ã¯è±¡ã ã€ã®ç¿»è¨³ã¾ã¨ã‚ - Fight the Future
ã¨ã¦ã‚‚ã‚¨ãƒ³ãƒˆãƒªãŒå¤šãã®å›žã«ã‚ãŸã£ãŸã®ã§ã€ã¾ã¨ã‚ã¾ã™ã€‚ One Div Zero: Monads are Elephants Part 1 ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦èª¿ã¹ã¦ã„ã(7) - Fight the Future ã˜ã‚…ãã®blog ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦èª¿ã¹ã¦ã„ã(8) - Fight the Future ã˜ã‚…ãã®blog ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦èª¿ã¹ã¦ã„ã(9) - Fight the Future ã˜ã‚…ãã®blog ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦èª¿ã¹ã¦ã„ã(10) - Fight the Future ã˜ã‚…ãã®blog ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦èª¿ã¹ã¦ã„ã(11) - Fight the Future ã˜ã‚…ãã®blog ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦èª¿ã¹ã¦ã„ã(12) - Fight the Future ã˜ã‚…ãã®blog One Div Zero: Monads are Elephants Part 2 ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦èª¿ã¹ã¦ã„ã(14) - Fig
chuwb 2011/05/19
functional

monad

haskell
ãƒªãƒ³ã‚¯
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚äº†æ—¥ã‚’2020å¹´1æœˆ31æ—¥(é‡‘)ã«æ±ºå®šã—ã¾ã—ãŸ - ã¯ã¦ãªã®å‘ŠçŸ¥
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚äº†æ—¥ã‚’2020å¹´1æœˆ31æ—¥(é‡‘)ã«æ±ºå®šã—ã¾ã—ãŸ ä»¥ä¸‹ã®ã‚¨ãƒ³ãƒˆãƒªã®é€šã‚Šã€ä»Šå¹´æœ«ã‚’ç›®å‡¦ã«ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã‚’çµ‚äº†äºˆå®šã§ã‚ã‚‹æ—¨ã‚’ãŠçŸ¥ã‚‰ã›ã—ã¦ãŠã‚Šã¾ã—ãŸã€‚ 2019å¹´æœ«ã‚’ç›®å‡¦ã«ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®æä¾›ã‚’çµ‚äº†ã™ã‚‹äºˆå®šã§ã™ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ ã“ã®ãŸã³ã€æ£å¼ã«çµ‚äº†æ—¥ã‚’æ±ºå®šã„ãŸã—ã¾ã—ãŸã®ã§ã€ä»¥ä¸‹ã®é€šã‚Šã”ç¢ºèªãã ã•ã„ã€‚ çµ‚äº†æ—¥: 2020å¹´1æœˆ31æ—¥(é‡‘) ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆå¸Œæœ›ç”³è«‹æœŸé™:2020å¹´1æœˆ31æ—¥(é‡‘) çµ‚äº†æ—¥ä»¥é™ã¯ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®é–²è¦§ãŠã‚ˆã³æŠ•ç¨¿ã¯è¡Œãˆã¾ã›ã‚“ã€‚æ—¥è¨˜ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãŒå¿…è¦ãªæ–¹ã¯ä»¥ä¸‹ã®è¨˜äº‹ã«ã—ãŸãŒã£ã¦æ‰‹ç¶šãã‚’ã—ã¦ãã ã•ã„ã€‚ ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã«æŠ•ç¨¿ã•ã‚ŒãŸæ—¥è¨˜ãƒ‡ãƒ¼ã‚¿ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆã«ã¤ã„ã¦ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ ã”åˆ©ç”¨ã®ã¿ãªã•ã¾ã«ã¯ã”è¿·æƒ‘ã‚’ãŠã‹ã‘ã„ãŸã—ã¾ã™ãŒã€ã©ã†ãžã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚ 2020-06-25 è¿½è¨˜ ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãƒ‡ãƒ¼ã‚¿ã¯2020å¹´2æœˆ28
chuwb 2011/01/17
programming

haskell

monad
ãƒªãƒ³ã‚¯
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. An ancient parable goes that several blind men were experiencing their first elephant. "It's a tree," one said while wrapping his arms around its legs. "A large snake," another said while holding its trunk. A third said...um, som
chuwb 2010/12/15
ãƒ¢ãƒŠãƒ‰ã¯è±¡â€¦â€¦ã ã¨â€¦â€¦

haskell

monad
ãƒªãƒ³ã‚¯
ãƒ¢ãƒŠãƒ‰ã®ã™ã¹ã¦ã€€Haskell ã«ãŠã‘ã‚‹ãƒ¢ãƒŠãƒ‰ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ç†è«–ã¨å®Ÿè·µã«é–¢ã™ã‚‹åŒ…æ‹¬çš„ã‚¬ã‚¤ãƒ‰
ãƒ¢ãƒŠãƒ‰ã®ã™ã¹ã¦ Haskell ã«ãŠã‘ã‚‹ãƒ¢ãƒŠãƒ‰ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ç†è«–ã¨å®Ÿè·µã«é–¢ã™ã‚‹åŒ…æ‹¬çš„ã‚¬ã‚¤ãƒ‰ Version 1.1.0 ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ã€ãƒ¢ãƒŠãƒ‰ã®æ¦‚å¿µã¨ãã®é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã‘ã‚‹å¿œç”¨ã« ã¤ã„ã¦ã€åˆä¸ç´šã® Haskell ãƒ—ãƒã‚°ãƒ©ãƒžã«ã‚ã‹ã‚Šã‚„ã™ãã€åˆ©ç”¨ä¾¡å€¤ãŒã‚ã‚‹ã‚ˆã†ãª è§£èª¬ã‚’ã™ã‚‹ã“ã¨ã‚’æ—¨ã¨ã—ã¦ã„ã¾ã™ã€‚èªè€…ã¯ Haskell ã«ãªã‚Œã¦ã„ã‚‹ã“ã¨ã‚’å‰æã¨ ã—ã¾ã™ãŒã€ãƒ¢ãƒŠãƒ‰ã«é–¢ã™ã‚‹çµŒé¨“ã¯è¦æ±‚ã—ã¦ã„ã¾ã›ã‚“ã€‚ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ã€å¤š ãã®é¡Œæã‚’ã‚«ãƒãƒ¼ã—ã¦ã„ã¾ã™ã€‚å¾ŒåŠã®ã‚»ã‚¯ã‚·ãƒ§ãƒ³ã§ã¯ã€å‰åŠã®é¡Œæã‚’ã‚ˆãç†è§£ã— ã¦ã„ã‚‹ã“ã¨ã‚’å‰æã¨ã—ã¾ã™ã€‚é †ã‚’ãŠã£ã¦ã€ãƒ¢ãƒŠãƒ‰ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ä¾‹ç¤ºã™ã‚‹ãŸã‚ ã®ã‚µãƒ³ãƒ—ãƒ«ã‚³ãƒ¼ãƒ‰ãŒãŸãã•ã‚“ç”¨æ„ã•ã‚Œã¦ã„ã¾ã™ã€‚ä¸€èªã§ã€ã™ã¹ã¦ã®é¡Œæã‚’å¸åŽã— ã‚ˆã†ã¨ã„ã†ã®ã¯ãŠå‹§ã‚ã§ãã¾ã›ã‚“ã€‚ ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ 3 ã¤ã®éƒ¨åˆ†ã§æ§‹æˆã•ã‚Œã¦ã„ã¾ã™ã€‚æœ€åˆã®éƒ¨åˆ†ã¯ã€ é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã‘ã‚‹ãƒ¢ãƒŠãƒ‰ã®åŸºæœ¬çš„
chuwb 2010/07/08
haskell

monad
ãƒªãƒ³ã‚¯
1