)
モナド (プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°) - Wikipedia
関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã„ã¦ã€ãƒ¢ãƒŠãƒ‰ã¯ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ§‹é€ åŒ–ã™ã‚‹ãŸã‚ã®æ±Žç”¨çš„ãªæŠ½è±¡æ¦‚念ã§ã‚る。対応ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒ 言語ã§ã¯ã€ãƒœã‚¤ãƒ©ãƒ¼ãƒ—レート的ãªã‚³ãƒ¼ãƒ‰ã§ã‚‚モナドを使ã£ã¦é™¤åŽ»ã™ã‚‹ã“ã¨ãŒå¯èƒ½ã¨ãªã‚‹ã€‚ã“ã‚Œã¯ãƒ¢ãƒŠãƒ‰ãŒã€ç‰¹å®šã®å½¢ã‚’ã—ãŸè¨ˆç®—を表ã™ãƒ‡ãƒ¼ã‚¿åž‹ã¨ã€ãã‚Œã«é–¢ã™ã‚‹ç”Ÿæˆã¨åˆæˆã®2ã¤ã®æ‰‹ç¶šãã‚’æä¾›ã™ã‚‹ã“ã¨ã«ã‚ˆã£ã¦å®Ÿç¾ã•ã‚Œã¦ã„る。生æˆã¯ä»»æ„ã®åŸºæœ¬åž‹ã®å€¤ã‚’モナドã«åŒ…ã‚“ã§ãƒ¢ãƒŠãƒ‰å€¤ã‚’生æˆã™ã‚‹æ‰‹ç¶šãã§ã‚ã‚Šã€åˆæˆã¯ãƒ¢ãƒŠãƒ‰å€¤ã‚’è¿”ã™é–¢æ•°(モナド関数)ãŸã¡ã‚’åˆæˆã™ã‚‹æ‰‹ç¶šãã§ã‚る。[1] 広ã„範囲ã®å•é¡Œã‚’モナドを使ã†ã“ã¨ã§å˜ç´”化ã§ãる。例ãˆã°ã€Maybeモナドを使ãˆã°æœªå®šç¾©å€¤ã¸ã®å¯¾å‡¦ãŒç°¡å˜ã«ãªã‚Šã€Listモナドを使ãˆã°ãƒªã‚¹ãƒˆã«å…¥ã£ãŸå€¤ã‚’柔軟ã«æ‰±ã†ã“ã¨ãŒã§ãる。複雑ã«çµ„ã¿åˆã‚ã•ã£ãŸé–¢æ•°ã¯ã€ãƒ¢ãƒŠãƒ‰ã‚’使ãˆã°ã€è£œåŠ©ãƒ‡ãƒ¼ã‚¿ã®ç®¡ç†ã‚„åˆ¶å¾¡æ§‹é€ ã‚„å‰¯ä½œç”¨ã‚’é™¤åŽ»ã—ãŸç°¡å˜ãªãƒ‘ã‚¤ãƒ—ãƒ©ã‚¤ãƒ³æ§‹é€ ã«ç½®ãæ›ãˆã‚‹ã“ã¨ãŒã§ãã‚‹[1][2]。 モナドã®æ¦‚念や用語
第6回　局所的ãªã€ŒçŠ¶æ…‹ã€ã‚’利用ã™ã‚‹ãŸã‚ã®Stateモナド
プãƒã‚°ãƒ©ãƒ を書ã„ã¦ã„ã‚‹ä¸ã§ï¼Œå¤šãã®å¼ã§åŒã˜å€¤ã‚’使ã„ã¾ã‚ã—ã¦ã„ãŸã‚Šï¼Œå€¤ã®å¤‰åŒ–ã«ä¸€å®šã®ãƒ‘ターンãŒç”Ÿã˜ã¦ã„ã‚‹ã“ã¨ã«æ°—ã¥ãã‹ã‚‚ã—ã‚Œã¾ã›ã‚“。ã“ã†ã„ã†æ™‚，å¼ã«å±€æ‰€çš„（local，ãƒãƒ¼ã‚«ãƒ«ï¼‰ãªã€ŒçŠ¶æ…‹ï¼ˆState）ã€ãŒã‚ã‚Œã°ï¼Œãƒ—ãƒã‚°ãƒ©ãƒ ã‚’ã™ã£ãり書ãã“ã¨ãŒã§ãã‚‹ã¨æ€ã†ã®ã§ã¯ãªã„ã§ã—ょã†ã‹ï¼Ÿ 実際ã«Lispã«ã¯setf（Schemeãªã‚‰set!）ã¨ã„ã†å¤‰æ•°ã®å€¤ã‚’書ãæ›ãˆã‚‹æ©Ÿèƒ½ãŒã‚り，OCamlãªã©ã®MLç³»ã®è¨€èªžã«ã¯å‚照型（reference type，リファレンス型）ã¨ã„ã†å€¤ã®å†ä»£å…¥ã‚’許ã™ç‰¹åˆ¥ãªå¤‰æ•°ã‚’扱ã†æ©Ÿèƒ½ãŒã‚ã‚Šã¾ã™ã€‚ ã—ã‹ã—，残念ãªãŒã‚‰Haskellã®ã‚ˆã†ã«ç´”粋ãªé–¢æ•°åž‹ï¼ˆpurely functional）を標榜ã—ã¦ã„る言語ã«ã¯ï¼Œã“ã®ã‚ˆã†ãªæ›¸ãæ›ãˆå¯èƒ½ãªå¤‰æ•°ã‚’æŒã¤ã“ã¨ã¯åŸºæœ¬çš„ã«è¨±ã•ã‚Œã¦ã„ã¾ã›ã‚“。書ãæ›ãˆå¯èƒ½ãªå¤‰æ•°ãŒã‚ã‚‹ã¨ï¼Œã€ŒçŠ¶æ…‹ã€ã®æ›´æ–°ãŒè¤‡æ•°å€‹æ‰€ã§å…±æœ‰ã•ã‚Œï¼Œã€Œãƒ—ãƒã‚°ãƒ©ãƒ を局所的ã«ã§ã¯ãªã，大域的（glo
Programming in Haskell
Programming in Haskell ページã¸ã‚ˆã†ã“ã ã“ã®ã‚µã‚¤ãƒˆã«ã¤ã„㦠ã“ã®ã‚µã‚¤ãƒˆã¯ã€Haskell ã§ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’楽ã—ã‚€ãŸã‚ã®ã‚µã‚¤ãƒˆã§ã™ã€‚ ç¾åœ¨ã®ã¨ã“ã‚ã€WiLiKi ã¨ã„ã†WiKiシステムã§é‹ç”¨ã•ã‚Œã¦ã„ã¾ã™ã€‚WiLiKiã®ä½¿ã„æ–¹ã¯ã€ WiLiKi:WiLiKi:リファレンスマニュアルをå‚ç…§ã—ã¦ãã ã•ã„。 メイリングリスト 「Haskellプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’楽ã—ã‚€ãŸã‚ã®ã€ãƒ¡ãƒ¼ãƒªãƒ³ã‚°ãƒªã‚¹ãƒˆãŒã‚ã‚Šã¾ã™ï¼Ž MailingListã®ãƒšãƒ¼ã‚¸ã‚’ã”覧ãã ã•ã„． ãƒãƒ£ãƒƒãƒˆ 「Haskellプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’楽ã—ã‚€ãŸã‚ã®ã€ãƒãƒ£ãƒƒãƒˆãƒ»ãƒ«ãƒ¼ãƒ ãŒã„ãã¤ã‹å˜åœ¨ã—ã¾ã™ï¼Ž ChatRoomã®ãƒšãƒ¼ã‚¸ã‚’ã”覧ãã ã•ã„． サイトマップ Introduction Haskell ã¨ã¯ Definition 仕様ã¨æ¨™æº–ライブラリ Tutorial ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ã‚„ã•ã—ã„Haskell入門 モナドã®ã™ã¹ã¦ ãªãœé–¢æ•°ãƒ—
Glasgow Haskell Compiler — The Glasgow Haskell Compiler
Latest News 1 July 2024 GHC 9.6.6 Released! [download] 10 May 2024 GHC 9.10.1 Released! [download] 16 April 2024 GHC 9.6.5 Released! [download] What is GHC? GHC is a state-of-the-art, open source compiler and interactive environment for the functional language Haskell. Highlights: GHC supports the entire Haskell 2010 language plus a wide variety of extensions. GHC has particularly good support for
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
WWW.SAMPOU.ORG
Haskell Language
{{#tags}}- {{label}}
{{/tags}}