モナドã¯ãªãœHaskellã§ã—ã‹ç©æ¥µçš„ã«ä½¿ã‚ã‚Œã¦ã„ãªã„ã®ã‹? - uehaj's blog(Haskellãªæ—¥ã€…ã«ãªã£ã¦ã‚‹ãªâ€¦ã€‚) モナドã¨ã„ã†ã‚‚ã®ãŒã‚ã‚Šã€Haskellã§æœ‰åã§ã™ãŒã€å®Ÿéš›ã«ã¯ã€Java8ã®Optionalã€Scalaã®Optionã‚„for内包表記ãªã©ã§ã¯ä½¿ç”¨ã•ã‚Œã¦ã„ã¾ã™ã€‚Scalazã¨ã„ã†Scalaã®ãƒ©ã‚¤ãƒ–ラリやã€monadlogieã¨ã„ã†Groovyã®ãƒ©ã‚¤ãƒ–ラリã§ã‚‚使ã‚ã‚Œã¦ã„ã¾ã™ã€‚ ã¨ã¯ã„ãˆã€ä¸€èˆ¬ã«ã€Haskellã§ã®ã‚ˆã†ã«ç©æ¥µçš„ã«ã¯ä½¿ã‚ã‚Œã¦ã„ãªã„ã¨ã„ã†ã®ãŒå…¬å¹³ãªè¦‹ã‹ãŸã§ã—ょã†*1。Haskellã§ã¯æœ¬å½“ã«ã„ã‚ã‚“ãªã‚‚ã®ãŒãƒ¢ãƒŠãƒ‰åŒ–ã•ã‚Œã¦ã„ã¾ã™ã€‚入出力(IO)ã€çŠ¶æ…‹ã€å¤±æ•—ã™ã‚‹ã‹ã‚‚ã—ã‚Œãªã„計算(Maybeã€Either)ã€éžæ±ºå®šè¨ˆç®—ã€ç¶™ç¶šã€ãƒ‘ーサ(モナディックパーサ)ã€ãƒªãƒ¼ãƒ€ã€ãƒ©ã‚¤ã‚¿ã€etc.etc……。 ãªãœã“ã®ã‚ˆã†ãªå·®ãŒç”Ÿã˜ã‚‹ã®ã§ã—ょã†ã‹? ãã®å‰ã«ã€ã¾ãšæŠ¼ã•ãˆã¦ãŠãã¹ãã“ã¨ã¯ã€ãƒ¢ãƒŠãƒ‰ã¯éžå¸¸ã«æ±Žç”¨çš„ãªæ©Ÿèƒ½ã ã¨ã„ã†ã“ã¨ã§ã™ã€‚æ•°å¦çš„定義ã¯ã¨ã‚‚ã‹ãã€æ©Ÿèƒ½çš„ã«è¨€ã†ã¨ã€
鯖江市ãŒã€Œã‚ªãƒ¼ãƒ—ンデータã€å…ˆç«¯ã‚’è¡Œãç†ç”±
{{#tags}}- {{label}}
{{/tags}}