[B! ãƒ¢ãƒŠãƒ‰] nagolingã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

nagoling id:nagoling

ãƒ¢ãƒŠãƒ‰ã«é–¢ã™ã‚‹nagolingã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (5)

${{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 IOãƒ¢ãƒŠãƒ‰ è¶…å…¥é–€ - Qiita
Haskellã§ã¯ãƒ¢ãƒŠãƒ‰ã¨å‘¼ã°ã‚Œã‚‹éƒ¨å“ã‚’çµ„ã¿åˆã‚ã›ã¦ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’ä½œã‚Šã¾ã™ã€‚ä»Šã¾ã§ã‚¢ã‚¯ã‚·ãƒ§ãƒ³ã¨ã—ã¦å–ã‚Šæ‰±ã£ã¦ã„ãŸã®ã¯IOãƒ¢ãƒŠãƒ‰ã¨ã„ã†ãƒ¢ãƒŠãƒ‰ã®ä¸€ç¨®ã§ã™ã€‚IOãƒ¢ãƒŠãƒ‰ã®ä»•çµ„ã¿ã‚’èª¿ã¹ã‚‹ã“ã¨ã§ã€IOãƒ¢ãƒŠãƒ‰ã‚’çµ„ã¿åˆã‚ã›ã‚‹ã“ã¨ã®å…·ä½“çš„ãªã‚¤ãƒ¡ãƒ¼ã‚¸ã‚’èª¬æ˜Žã—ã¾ã™ã€‚ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦ã®ä¸€èˆ¬è«–ã¸é€²ã‚€å‰ã®æº–å‚™ã‚’ç›®çš„ã¨ã—ã¦ã„ã‚‹ãŸã‚ã€IOä»¥å¤–ã®ãƒ¢ãƒŠãƒ‰ã‚„åœè«–ã«ã¯è¨€åŠã—ã¾ã›ã‚“ã€‚ ã‚·ãƒªãƒ¼ã‚ºã®è¨˜äº‹ã§ã™ã€‚ Haskell è¶…å…¥é–€ Haskell ä»£æ•°çš„ãƒ‡ãƒ¼ã‚¿åž‹ è¶…å…¥é–€ Haskell ã‚¢ã‚¯ã‚·ãƒ§ãƒ³ è¶…å…¥é–€ Haskell ãƒ©ãƒ ãƒ€ è¶…å…¥é–€ Haskell ã‚¢ã‚¯ã‚·ãƒ§ãƒ³ã¨ãƒ©ãƒ ãƒ€ è¶…å…¥é–€ Haskell IOãƒ¢ãƒŠãƒ‰ è¶…å…¥é–€ â† ã“ã®è¨˜äº‹ Haskell ãƒªã‚¹ãƒˆãƒ¢ãƒŠãƒ‰ è¶…å…¥é–€ Haskell Maybeãƒ¢ãƒŠãƒ‰ è¶…å…¥é–€ Haskell çŠ¶æ…‹ç³»ãƒ¢ãƒŠãƒ‰ è¶…å…¥é–€ Haskell ãƒ¢ãƒŠãƒ‰å¤‰æ›å è¶…å…¥é–€ Haskell ä¾‹å¤–å‡¦ç† è¶…å…¥é–€ Haskell æ§‹æ–‡
nagoling 2015/08/27
ãƒ¢ãƒŠãƒ‰

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

haskell
ãƒªãƒ³ã‚¯
ãƒ¢ãƒŠãƒ‰å‰‡ãŒã¡ã‚‡ã£ã¨åˆ†ã‹ã£ãŸï¼Ÿ - Qiita
ãƒ¢ãƒŠãƒ‰ã‚’å‹‰å¼·ã—ã‚ˆã†ã¨ã™ã‚‹ã¨ãƒ¢ãƒŠãƒ‰å‰‡ãŒç«‹ã¡ã¯ã ã‹ã‚Šã¾ã™ã€‚ã—ã‹ã—ãƒ¢ãƒŠãƒ‰å‰‡ã¯æ„å‘³ã ã‘ã§ãªãã€ãã‚ŒãŒãƒ¢ãƒŠãƒ‰ã‚’å‹‰å¼·ã™ã‚‹ä¸Šã§ã©ã†ã„ã†ä½ç½®ä»˜ã‘ãªã®ã‹ã‚‚åˆ†ã‹ã‚Šã«ãã„ã§ã™ã€‚ã¨ã‚Šã‚ãˆãšæ£šä¸Šã’ã—ãŸã¾ã¾åˆ†ã‹ã‚‹ç¯„å›²ã®ã“ã¨ã‹ã‚‰æ‰‹ã‚’ä»˜ã‘ã¦ã„ã¾ã—ãŸãŒã€ã¡ã‚‡ã£ã¨åˆ†ã‹ã£ãŸã‚ˆã†ãªæ°—ãŒã—ãŸã®ã§ãƒ¡ãƒ¢ã—ã¦ãŠãã¾ã™ã€‚ ãƒ¢ãƒŠãƒ‰å‰‡ã«é–¢ã™ã‚‹ç¾æ™‚ç‚¹ã®ç†è§£ã§ã™ãŒã€æ£ç¢ºã•ã¯ä¿è¨¼ã§ãã¾ã›ã‚“ã€‚ ã“ã‚Œã‚’èªã‚ã°ãƒ¢ãƒŠãƒ‰ãŒç†è§£ã§ãã‚‹ã¨ã„ã†é¡žã®èª¬æ˜Žï¼ˆãƒ¢ãƒŠãƒ‰ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ï¼‰ã§ã¯ã‚ã‚Šã¾ã›ã‚“ã€‚ è©¦é¨“çš„ã«ãƒ¢ãƒŠãƒ‰å‰‡ã‚’å›³ç¤ºã—ã¾ã—ãŸã€‚ã‚³ãƒ¼ãƒ‰ã‚’å›³ã«è»¢å†™ã—ã¦ã€å¤šå°‘ã®è§£é‡ˆã‚’åŠ ãˆãŸã‚‚ã®ã§ã™ã€‚ã‚‚ã—åˆ†ã‹ã‚Šã«ãã‘ã‚Œã°ç„¡è¦–ã—ã¦ã‚‚æ§‹ã„ã¾ã›ã‚“ã€‚ ã“ã®è¨˜äº‹ã¯Haskell è¶…å…¥é–€ã‚·ãƒªãƒ¼ã‚ºã®ç•ªå¤–ç·¨ã§ã™ã€‚ ãƒ¢ãƒŠãƒ‰å‰‡ ãƒ¢ãƒŠãƒ‰å‰‡ã¯ return ã¨ >>= ã®å‹•ãã«é–¢ã™ã‚‹ãƒ«ãƒ¼ãƒ«ã§ã™ã€‚ return x >>= f == f x m >>= return == m (m >>= f) >>= g == m
nagoling 2015/08/26
ãƒ¢ãƒŠãƒ‰

Haskell
ãƒªãƒ³ã‚¯
Freeãƒ¢ãƒŠãƒ‰ã§ã‚²ãƒ¼ãƒ ã‚’ä½œã‚ã†ï¼ç¬¬0å›ž: æ¦‚è¦ - ãƒ¢ãƒŠãƒ‰ã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰
é€£è¼‰ç›®æ¬¡ ç¬¬0å›ž: æ¦‚è¦ (ã“ã®è¨˜äº‹) ç¬¬1å›ž: Gameãƒ¢ãƒŠãƒ‰ã®åŸºæœ¬ å…ˆã»ã©ã€free-gameã¨ã„ã†ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’ã‚¢ãƒƒãƒ—ãƒãƒ¼ãƒ‰ã—ã¾ã—ãŸã€‚free-gameã¯ã€ä¸–ç•Œã§ä¸€ç•ªæŸ”è»Ÿã‹ã¤ç°¡å˜ã«ã‚²ãƒ¼ãƒ ãªã©ã®GUIã‚’ä½œã‚Œã‚‹ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’ç›®æŒ‡ã—ã¦ã„ã¾ã™ã€‚ Freeãƒ¢ãƒŠãƒ‰ã¨ã¯ Freeãƒ¢ãƒŠãƒ‰ã¯ã€Functorã‚’ä¸Žãˆã‚‹ã¨è‡ªå‹•çš„ã«ãƒ¢ãƒŠãƒ‰ã‚’ç”Ÿæˆã—ã¦ãã‚Œã‚‹æ§‹é€ ã§ã€ã“ã‚Œã‚’ä½¿ã†ã“ã¨ã§ã€ã‚¢ã‚¯ã‚·ãƒ§ãƒ³ã‚’ãƒ‡ãƒ¼ã‚¿ã®ä¸€ã¤ã¨ã—ã¦æŸ”è»Ÿã«æ‰±ãˆã‚‹ã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚åŽ»å¹´ã®10æœˆã”ã‚ã‹ã‚‰ã«ã‚ã‹ã«æ—¥æœ¬ã®Haskelleré–“ã§æµè¡Œã‚Šå§‹ã‚ãŸã€ä»Šä¸€ç•ªç†±ã„ãƒ¢ãƒŠãƒ‰ã§ã™[è¦å‡ºå…¸]ã€‚Freeãƒ¢ãƒŠãƒ‰ãã®ã‚‚ã®ã«é–¢ã—ã¦ã¯ã“ã‚Œã‚‰ã®è¨˜äº‹ã‚’èªã¿ã¾ã—ã‚‡ã†ã€‚ Haskell for all: Why free monads matter ãã‚ãã‚Freeãƒ¢ãƒŠãƒ‰ã«é–¢ã—ã¦ä¸€è¨€ã„ã£ã¨ãã‹ åž‹ã‚¯ãƒ©ã‚¹ã¨ãƒ¢ãƒŠãƒ‰ã¨ Free ãƒ¢ãƒŠãƒ‰ - ã‚ã©ã‘ãªã„è©± Freeãƒ¢ãƒŠãƒ‰ã£ã¦ä½•ãªã®ã•ã£ï¼ï¼Ÿ -
nagoling 2015/08/26
ãƒ¢ãƒŠãƒ‰

Haskell

ã‚²ãƒ¼ãƒ
ãƒªãƒ³ã‚¯
Haskellã®Monadã¯ä½•ã‚’ã—ã¦ã„ã‚‹ã‹ - Just $ A sandbox
ã¯ã˜ã‚ã«ï¼šãƒ¢ãƒŠãƒ‰ãŒä½•ã‹ã‚ã‹ã‚‰ãªã„ã‘ã©åˆ†ã‹ã‚ŠãŸã„äººã¸ ã“ã®è¨˜äº‹ã¯ã‚ãªãŸã®ç‚ºã«æ›¸ã‹ã‚ŒãŸã‚‚ã®ã§ã™ï¼ ã€Œãƒ¢ãƒŠãƒ‰ã£ã¦é›£ã—ã„ãã†ã ã—ã‚ˆãåˆ†ã‹ã‚‰ãªã„ã€ã‘ã©ãã£ã¨è³¢ã„äººãŸã¡ãŒã€Žãƒ¢ãƒŠãƒ‰ã¨ã¯ä½•ã‹ã€ã«ã¤ã„ã¦ç´ æ•µãªèª¬æ˜Žã‚’ä¸Žãˆã¦ãã‚Œã‚‹ã¯ãšï¼ã€ â€¦ãã†ã„ã†æœŸå¾…ã‚’æŒã£ã¦ã„ã‚‹ã¾ã•ã«ã‚ãªãŸã®ãã®å‹˜é•ã„ã‚’æ˜¯æ£ã™ã‚‹ãŸã‚ã«ã“ã®è¨˜äº‹ã¯ã‚ã‚Šã¾ã™ã€‚ ã€Œãƒ¢ãƒŠãƒ‰ãŒä½•ã‹ã€ã‚’ç†è§£ã™ã‚‹ã®ã¯ã¾ãšã¯è«¦ã‚ã¦ä¸‹ã•ã„ã€‚ ã“ã®è¨˜äº‹ã¯ã€ä¸–ç•Œä¸€ã‚ã‹ã‚Šã‚„ã™ã„ãƒ¢ãƒŠãƒ‰ã®è¨˜äº‹ - ã¿ã‚‡ã‚“ã•ã‚“ã®ã€‚ã‚’ç†è§£ã—ãŸã„ã¨æ€ã‚ãªã„äººã®ãŸã‚ã«ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ–‡è„ˆã§ãƒ¢ãƒŠãƒ‰ã«é–¢ã™ã‚‹å°‘ã—ã®è€ƒãˆæ–¹ã‚’æä¾›ã™ã‚‹ã‚‚ã®ã ã¨è€ƒãˆã¦ä¸‹ã•ã„*1ã€‚ what it is ã‹ã‚‰ how it works ã¸ ãƒ¢ãƒŠãƒ‰ã¯ãƒ¢ãƒŽã§ã¯ã‚ã‚Šã¾ã›ã‚“ã€‚ã ã‹ã‚‰ã€Œä½•ã€ã¨ã„ã†è³ªå•ã«ç”ãˆã‚‹ã®ã¯é›£ã—ã„ã§ã—ã‚‡ã†ã€‚æ•°å¦çš„ãªå…¬ç†ã‚’èªè€…ã«æŠ•ã’ã¤ã‘ã‚‹ã“ã¨ã‚‚æ„å‘³ä¸æ˜Žãªå–©ãˆã§ã”ã¾ã‹ã™ã“ã¨ã‚‚ã—ãŸãã¯ãªã„ã®ã§ã€å°‘ã—ã ã‘é•ã†èª¬æ˜Žã‚’ã—ã¾ã™ã€‚ ä¾‹ã‚’æŒ™ã’ã¾ã—
nagoling 2015/08/26
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

ãƒ¢ãƒŠãƒ‰

Monad

haskell
ãƒªãƒ³ã‚¯
1