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

keyesberry id:keyesberry

monadã«é–¢ã™ã‚‹keyesberryã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (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}}

ãƒ¢ãƒŠãƒ‰ã¨ã¯ãƒ¢ãƒŠãƒ‰ã§ã‚ã‚‹ - ãƒ¢ãƒŠãƒ‰ã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰
ã“ã®è¨˜äº‹ã‚’èªã‚€å‰ã«ã€çµ¶å¯¾ã«ç†è§£å‡ºæ¥ãªã„ãƒ¢ãƒŠãƒ‰ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã«ä¸€åº¦ç›®ã‚’é€šã—ã¦ã¿ã¦ã»ã—ã„ã€‚ãƒ¢ãƒŠãƒ‰ã‚’ç†è§£ã—ã¦ã„ãä¸Šã§ã€ã¨ã¦ã‚‚é‡è¦ãªã“ã¨ãŒæ›¸ã‹ã‚Œã¦ã„ã‚‹ã€‚ æ”¹ã‚ã¦è¨€ãŠã†ã€ãƒ¢ãƒŠãƒ‰ã¯ãƒ¢ãƒŠãƒ‰ã ã€‚ã‚³ãƒ³ãƒ†ãƒŠã ã¨ã‹ãƒ—ãƒã‚°ãƒ©ãƒžãƒ–ãƒ«ã‚»ãƒŸã‚³ãƒãƒ³ã ã¨ã„ã†èª¬æ˜Žã§ã¯ã€ãƒ¢ãƒŠãƒ‰ã®ã™ã¹ã¦ã‚’æ£ç¢ºã«è¡¨ã›ã‚‹ã¨ã¯è¨€ã„é›£ã„ã€‚ã§ã¯ã€ãƒ¢ãƒŠãƒ‰ã‚’éŽä¸è¶³ãªãèª¬æ˜Žã§ãã‚‹ã€ãƒ¢ãƒŠãƒ‰ä»¥å¤–ã®è¨€è‘‰ã¯ã‚ã‚‹ã®ã‹ï¼Ÿ å®Ÿã¯ã€ãƒ¢ãƒŠãƒ‰ã‚’è¡¨ç¾ã—ã€ã‹ã¤ãƒ¢ãƒŠãƒ‰ã§è¡¨ç¾ã•ã‚Œã‚‹è¨€è‘‰ã¯å˜åœ¨ã™ã‚‹ã€‚ãã®ä¸€ã¤ã¯æ‰‹ç¶šãã§ã‚ã‚‹ã€‚æ‰‹ç¶šãåž‹è¨€èªžã®ã€Œæ‰‹ç¶šãã€ã ã€‚ æ‰‹ç¶šãã¨ã¯ä½•ã‹ æ‰‹ç¶šãã¯çµæžœã‚’æŒã¤ ãŠãŠã‚ˆãã™ã¹ã¦ã®æ‰‹ç¶šãã¯ä½•ã‚‰ã‹ã®çµæžœã‚’æŒã¤ã€‚Haskellã®()ã€Cè¨€èªžã®voidã€Pythonã®Noneã€Rubyã®nilãªã©ã‚‚çµæžœã®ä¸€ç¨®ã ã€‚çµæžœãŒå‡ºãªã„ã¨ã—ãŸã‚‰ã€ãã®ãƒ—ãƒã‚°ãƒ©ãƒ ã¯åœæ¢ã—ãªã„ã‹ã€é€”ä¸ã§ç•°å¸¸çµ‚äº†ã™ã‚‹ã ã‚ã†ã€‚ æ‰‹ç¶šãã«ã¯æœ€å°å˜ä½ãŒå˜åœ¨ã™ã‚‹ å‡¦ç†ç³»ãŒæ‰±ã£ã¦ã„ã‚‹ä»¥ä¸Šã€æ‰‹ç¶šããŒéš›é™ãªãåˆ†è§£ã§ãã‚‹ã¨ã„
keyesberry 2013/07/02
haskell

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

scala
ãƒªãƒ³ã‚¯
ãƒ¢ãƒŠãƒ‰ã®åˆæ© - å†å¸°ã®åå¾©blog
ãƒªã‚¹ãƒˆ ãƒ•ã‚£ãƒªãƒƒãƒ—ãƒ»ãƒ¯ãƒ‰ãƒ©ãƒ¼(Philip Wadler)ã¯ ã€ŒHow to replace failure by a list of successes: a method for exception handling, backtracking, and pattern matching in lazy functional languagesã€(1985)ã§ã€å¤±æ•—ã‚„ãƒãƒƒã‚¯ãƒˆãƒ©ãƒƒã‚¯ã®å¯èƒ½æ€§ãŒã‚ã‚‹å ´åˆã«çµæžœã‚’ãƒªã‚¹ãƒˆã«ã—ã¦è¿”ã™ã‚ˆã†ã«ã™ã‚‹ã¨ã„ã†ãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ã‚’ç´¹ä»‹ã—ã¦ã„ã‚‹ã€‚ ã™ã¹ã¦ã®ç”ãˆã‚’æŽ¢ç´¢ã—ã¦ãƒªã‚¹ãƒˆã«ã—ã¦è¿”ã™é–¢æ•°ã‚’å‘¼ã³å‡ºã—ã¦ã‚‚ã€é…å»¶è©•ä¾¡è¨€èªžãªã‚‰ã°ã€å®Ÿéš›ã«ã™ã¹ã¦ã®ç”ãˆã‚’æŽ¢ç´¢ã™ã‚‹ã‚ã‘ã§ã¯ãªãã€å¿…è¦ã«å¿œã˜ã¦å¿…è¦ãªã ã‘ã®ç”ãˆã‚’è¨ˆç®—ã™ã‚‹ã€‚ãã®ãŸã‚ãƒªã‚¹ãƒˆã‚’è¿”ã™é–¢æ•°ã‚’ãƒãƒƒã‚¯ãƒˆãƒ©ãƒƒã‚¯æ©Ÿæ§‹ã®ä»£ã‚ã‚Šã«ä½¿ã†ã“ã¨ãŒã§ãã‚‹ã¨ã„ã†ã®ãŒã“ã®ãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ã®ãƒã‚¤ãƒ³ãƒˆã«ãªã‚‹(ã‚‚ã¡ã‚ã‚“ãƒãƒƒã‚¯ãƒˆãƒ©ãƒƒã‚¯ãŒä½¿ã‚ã‚Œã‚‹å…¨ã¦ã®å ´åˆã«é©ç”¨ã§ãã‚‹
keyesberry 2011/06/20
haskell

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
keyesberry 2011/06/10
monad

functional
ãƒªãƒ³ã‚¯
ãƒ¢ãƒŠãƒ‰ã‚’å®Ÿè£…ã™ã‚‹(Pythonç·¨) | Webã‚·ã‚¹ãƒ†ãƒ é–‹ç™ºï¼æ•™è‚²ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ã®ã‚¿ã‚¤ãƒ ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ¡ãƒ‡ã‚£ã‚¢
ç™ºç«¯ ãƒ¢ãƒŠãƒ‰ã®æ£ä½“ãŒåˆ†ã‹ã‚‹ã¨ã€ æ¬¡ã¯ãƒ¢ãƒŠãƒ‰ã‚’å®Ÿè£…ã—ã¦ã¿ãŸããªã‚‹ã‚‚ã®ã§ã™ã€‚ ã¨ã„ã†è¨³ã§è©¦ã—ã« Python ã§ãƒ¢ãƒŠãƒ‰ã‚’å®Ÿè£…ã—ã¦ã¿ã¾ã—ã‚‡ã†ã€‚ åˆ¥ã«ã©ã‚“ãªè¨€èªžã§ã‚‚æ§‹ã‚ãªã„ã®ã§ã™ãŒã€ ã‚¯ãƒãƒ¼ã‚¸ãƒ£ã‚„éƒ¨åˆ†é©ç”¨ãŒç°¡å˜ã«ä½¿ãˆãªã„è¨€èªžã§ã¯æœ¬è³ªçš„ã§ãªã„ã¨ã“ã‚ã§è‹¦åŠ´ã™ã‚‹ç¾½ç›®ã«ãªã‚‹ã®ã§ã€ ä»Šå›žã¯ Python ã‚’ä½¿ã†ã“ã¨ã«ã—ã¾ã—ãŸã€‚ ãªãŠã€ä»Šå›žä½œæˆã—ãŸ Python ã«ã‚ˆã‚‹ãƒ¢ãƒŠãƒ‰ã®å®Ÿè£…ã¯ GitHub ã§å…¬é–‹ä¸ã§ã™ã€‚ æ–¹é‡ ãƒ¢ãƒŠãƒ‰ã®å…·ä½“ä¾‹ã§ä¸€ç•ªç°¡å˜ãªã‚‚ã®ã¯ Maybe ã§ã—ã‚‡ã†ã€‚ ã¾ãšã¯ Maybe ã‚’ Python ã®ã‚¯ãƒ©ã‚¹ã¨ã—ã¦å®Ÿè£…ã—ã¦ã€ ãã“ã‹ã‚‰ä¸€èˆ¬çš„ãªã¨ã“ã‚ã‚’æ‹¬ã‚Šã ã—ã¦ Monad ã‚¯ãƒ©ã‚¹ã‚’ä½œã‚‹ã“ã¨ã«ã—ã¾ã—ã‚‡ã†ã€‚ ãƒ¢ãƒŠãƒ‰ã®æ§‹æˆè¦ç´ ã¯ä»¥ä¸‹ã®3ã¤ã§ã™: æ™®é€šã®å€¤ã‚’ãƒ¢ãƒŠãƒ‰ã«ãƒ©ãƒƒãƒ—ã™ã‚‹ãŸã‚ã®åž‹ mæ™®é€šã®å€¤ã‚’ m ã«ãƒ©ãƒƒãƒ—ã™ã‚‹ãŸã‚ã®é–¢æ•° returnãƒ¢ãƒŠãƒ‰ã§ãƒ©ãƒƒãƒ—ã•ã‚ŒãŸæ™®é€šã®å€¤ã‚’å–ã‚Šå‡ºã—ã¦å‡¦ç†ã‚’è¡Œã†æ¼”ç®—å >>=
keyesberry 2011/05/11
monad

python

haskell
ãƒªãƒ³ã‚¯
Rubyã§ãƒªã‚¹ãƒˆãƒ¢ãƒŠãƒ‰ã½ã„ä½•ã‹ - è¶£å‘³çš„ã«ã£ã
http://mono.kmc.gr.jp/~oxy/w/hiki.cgi?Non%20Determinismã«ã‚ã‚‹ãƒªã‚¹ãƒˆãƒ¢ãƒŠãƒ‰ã§éžæ±ºå®šæ€§è¨ˆç®—ã‚’Rubyã§Haskellã½ãè§£ã„ã¦ã¿ã‚ˆã†ã¨æ€ã„ã¾ã™ã€‚å•é¡Œã¯ã“ã‚Œã§ã™ã€‚å…ƒã¯SICPã‚‰ã—ã„ã§ã™ã€‚ Baker, Cooper, Fletcher, Millerã¨Smithã¯äº”éšŽå»ºã¦ã‚¢ãƒ‘ãƒ¼ãƒˆã®ç•°ãªã‚‹éšŽã«ä½ã‚“ã§ã„ã‚‹ã€‚Bakerã¯æœ€ä¸ŠéšŽã«ä½ã‚€ã®ã§ã¯ãªã„ã€‚Cooperã¯æœ€ä¸‹éšŽã«ä½ã‚€ã®ã§ã¯ãªã„ã€‚ Fletcherã¯æœ€ä¸ŠéšŽã«ã‚‚æœ€ä¸‹éšŽã«ã‚‚ä½ã‚€ã®ã§ã¯ãªã„ã€‚Millerã¯Cooperã‚ˆã‚Šä¸Šã®éšŽã«ä½ã‚“ã§ã„ã‚‹ã€‚Smithã¯Fletcherã®éš£ã®éšŽã«ä½ã‚€ã®ã§ã¯ãªã„ã€‚Fletcherã¯Cooperã®éš£ã®éšŽã«ä½ã‚€ã®ã§ã¯ãªã„ã€‚ãã‚Œãžã‚Œã¯ã©ã®éšŽã«ä½ã‚“ã§ã„ã‚‹ã‹ã€‚ Haskellã®å›žç”ã¯ã“ã¡ã‚‰ã€‚ãƒªã‚¹ãƒˆãƒ¢ãƒŠãƒ‰ãŒãŠã—ã‚ƒã‚Œã§ã™ã€‚ import Control.Monad.List solve
keyesberry 2009/05/23
ruby

monad

SICP
ãƒªãƒ³ã‚¯
1