Maybeモナド 㨠Listモナド - Qiita
ã™ã”ã„Haskell ãŸã®ã—ãå¦ã¼ã†ã€€13ç« ã€Œãƒ¢ãƒŠãƒ‰ãŒã„ã£ã±ã„ã€ã®éƒ¨åˆ†ã®èªæ›¸ä¼šç”¨ã«ä½œæˆã—ãŸè³‡æ–™ã‚’公開ã—ã¾ã™ã€‚演習å•é¡Œã‚„周辺ã®è©±é¡Œã«è»½ããã‚Œã¦ã„る部分ãŒã‚ã‚Šã¾ã™ã€‚é–“é•ã„ç‰ã‚ã‚Šã¾ã—ãŸã‚‰ã”指摘ã„ãŸã ã‘ã‚‹ã¨å¹¸ã„ã§ã™ã€‚ 13. モナドãŒã„ã£ã±ã„ Functorã‚„Applicativeã‚’å°Žå…¥ã—ãŸå‹•æ©Ÿã®ã²ã¨ã¤ã¨ã—ã¦ä»¥ä¸‹ã®ã‚ˆã†ãªã‚‚ã®ãŒã‚ã‚‹ã¨æ€ã„ã¾ã™ã€‚ Functor ã‚’å°Žå…¥ã—ãŸå‹•æ©Ÿ a -> b åž‹ã®é–¢æ•°ã‚’ f a -> f b ã®é–¢æ•°ã«ã—ãŸã„ (fmapæ“作ãŒæ¬²ã—ã„) Applicative ã‚’å°Žå…¥ã—ãŸå‹•æ©Ÿ f (a -> b) åž‹ã‚’ f a -> f b åž‹ã®é–¢æ•°ã«ã—ãŸã„ (<*>æ“作ãŒæ¬²ã—ã„) Functor/Applicativeã‚’å°Žå…¥ã—ãŸå‹•æ©Ÿã«ä»¥ä¸Šã®ã‚ˆã†ãªã‚‚ã®ãŒã‚ã£ãŸã®ã¨åŒã˜ãMonadã‚’å°Žå…¥ã™ã‚‹å‹•æ©Ÿã¨ã—ã¦æ¬¡ã®ã‚ˆã†ãªã‚‚ã®ãŒã‚ã‚Šã¾ã™ 「普通ã®å€¤ a ã‚’å–ã£ã¦æ–‡è„ˆä»˜ãã®å€¤ã‚’è¿”ã™é–¢æ•° (a -> m
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
ç®±ã§è€ƒãˆã‚‹Functorã€Applicativeãã—ã¦Monad
{{#tags}}- {{label}}
{{/tags}}