ファンクタã§ã‚ãã¼ã† - éžç¾å®Ÿçš„éžæ—¥å¸¸çš„éžå¸¸è˜çš„ã€éžæ—¥è¨˜ã€‚Haskell, ITã“ã®è¨˜äº‹ã¯Haskell Advent Calendar 2013ã®3日目ã®è¨˜äº‹ã§ã™ã€‚ 目次ã©ã†ã—ã¦ï¼Ÿãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ã‚’æ‹¡å¼µã—よã†ãŠã•ã‚‰ã„引数をãµãŸã¤å–ã‚ã†é€†è»¢ã®ç™ºæƒ³å…±å¤‰ãƒ»å変・自由変・固定変データ型ã®æ•´ç†æ£ã®ä½ç½®ã¨è² ã®ä½ç½®è‡ªç”±å¤‰ã¨å›ºå®šå¤‰ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿é¡žã‚’自動生æˆã—よã†ã¾ã¨ã‚ãŠã¾ã‘Thornã«ã¤ã„ã¦CPLã§ã‚ãã¼ã† ã©ã†ã—ã¦ï¼Ÿãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ã¯Haskellã«æ¬ ã‹ã›ãªã„ã‚‚ã®ã§ã™ãŒã€ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ã‚’一般化ã—ã¦è¦‹ã‚‹ã¨ã„ã†è¦‹æ–¹ã¯æ„外ã«åºƒã¾ã£ã¦ã„ãªã„よã†ã«æ„Ÿã˜ã¾ã™ã€‚分ã‹ã£ã¦ã—ã¾ãˆã°å˜ç´”ãªè©±ã ã‘ã«ã‚‚ã£ãŸã„ãªã„ã¨æ€ã£ã¦ã“ã®è¨˜äº‹ã‚’書ãã“ã¨ã«ã—ã¾ã—ãŸã€‚ ã¾ãŸã€åƒ•ã¯æœ€è¿‘Thornã¨ã„ã†ãƒ©ã‚¤ãƒ–ラリを作りã¾ã—ãŸã€‚ã“ã‚Œã¯ã€ã•ã¾ã–ã¾ãªãƒ‡ãƒ¼ã‚¿åž‹ã‹ã‚‰é–¢æ‰‹ã‚„畳ã¿è¾¼ã¿ãƒ»å±•é–‹ã‚’Template Haskellを使ã£ã¦è‡ªå‹•ç”Ÿæˆã™ã‚‹ãƒ©ã‚¤ãƒ–ラリã§ã™ã€‚ã“ã®ãƒ©ã‚¤ãƒ–ラリを作るãªã‹ã§æ°—ã¥ã„ãŸã“ã¨ã‚‚åˆã‚ã›ã¦æ›¸ã„ã¦ã„ã“ã†ã¨æ€ã„ã¾ã™ã€‚ ファン
Functors, Applicatives, And Monads In Pictures - adit.io
QAã§å¦ã¶Monad - ã‚ã©ã‘ãªã„話
{{#tags}}- {{label}}
{{/tags}}