bindã¯fmapã¨joinã«åˆ†è§£ã§ãã‚‹ - QiitaDeleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?
絶対ã«ç†è§£å‡ºæ¥ãªã„モナドãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« - konn-san.com
世ã®ä¸ã«ã¯ã€æã—ã„æ•°ã®ãƒ¢ãƒŠãƒ‰ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ãŒã‚ã£ã¦ã€ãã‚Œãžã‚Œãƒ¢ãƒŠãƒ‰ã¯è±¡ã ã¨ã‹ã€ã„や接ãŽæœ¨ã ã¨ã‹ã€ãƒ—ãƒã‚°ãƒ©ãƒžãƒ–ル・コンテナã ã¨ã‹ã€ãƒ—ãƒã‚°ãƒ©ãƒ å¯èƒ½ãªã‚»ãƒŸã‚³ãƒãƒ³ã ã¨ã‹ã€è‰²ã€…ãªèª¬æ˜ŽãŒãªã•ã‚Œã¦ã„る。「モナド ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã€ã§æ¤œç´¢ã™ã‚Œã°ã€ä»–ã«ã‚‚色々ã«çµµè§£ãã•ã‚ŒãŸæœ‰è±¡ç„¡è±¡ã®ãƒ¢ãƒŠãƒ‰ãŒå¤§é‡ã«å¼•ã£æŽ›ã‹ã‚‹ã€‚ãã†ãã†ã€ãƒ¢ãƒŠãƒ‰ã¯å˜ãªã‚‹è‡ªå·±é–¢æ‰‹ã®åœã«ãŠã‘るモノイド対象ã よ。何ã‹å•é¡Œã§ã‚‚？ãªã‚“ã¦ã®ã‚‚ã‚ã£ãŸãªã€‚ ã“ã®è¨˜äº‹ã®ç›®çš„ã¯åˆ¥ã«ã€ã“ã†ã—ãŸæ—¢å˜ã®ãƒ¢ãƒŠãƒ‰ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’「間é•ã£ã¦ã‚‹ï¼ã€ã¨ã‹ã€Œã‚ã‹ã‚‹ã‚ã‘ãーよï¼ã€ã¨ã„ã£ã¦è²¶ãã†ã¨ã„ã†è¨³ã§ã¯ãªã„。実際ã€æ—¢ã«å¹¾å¤šæ›¸ã‹ã‚Œã¦ã„ã‚‹ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã®ä¸ã§ã‚‚ã€åƒ•ã®äº‘ã„ãŸã„ã“ã¨ã¨æ®†ã‚“ã©åŒã˜ã‚ˆã†ãªã“ã¨ãŒæ›¸ã‹ã‚Œã¦ã„ã‚‹ã‚‚ã®ã¯æ²¢å±±ã‚る。 ã§ã¯ã€ä¸Šã®è†¨å¤§ãªãƒªã‚¹ãƒˆã®æœ«å°¾ã«ã¾ãŸä¸€ã¤ã€Œã‚ã‹ã‚Šã‚„ã™ã„比喩ã€ã‚’付ã‘足ãã†ã¨ã„ã†ã®ã‹ï¼Ÿã¨ã„ã†ã¨ãã†ã„ã†è¨³ã§ã‚‚ãªã„。ãã†ãã†ã€ãƒ¢ãƒŠãƒ‰ã¯æ¯”å–©ã§ã¯ãªã„ã¨ã„ã†ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«
QAã§å¦ã¶Monad - ã‚ã©ã‘ãªã„話
ã“ã®è¨˜äº‹ã¯ã€Monad ã§ã¤ã¾ã¥ã„㟠Haskeller ã®ãŸã‚ã® Monad å†å…¥é–€ã§ã™ã€‚ Monadã¨ã¯ä½•ã§ã™ã‹ï¼Ÿ Monad ã¨ã¯ã€å˜ãªã‚‹åž‹ã‚¯ãƒ©ã‚¹ã®ä¸€ã¤ã§ã™ã€‚難ã—ã„ã¨ã„ã†é¢¨è©•ã‚‚ã‚ã‚Šã¾ã™ãŒã€ãれ以上ã§ã‚‚ãれ以下ã§ã‚‚ã‚ã‚Šã¾ã›ã‚“。 ã“ã®åž‹ã‚¯ãƒ©ã‚¹ã®ãƒ¡ã‚½ãƒƒãƒ‰ã¯ã€return 㨠>>= ã§ã™ã€‚ class Monad m where (>>=) :: m a -> (a -> m b) -> m b return :: a -> m a ã¤ã¾ã‚Šã€ä»¥ä¸‹ã‚’満ãŸã™åž‹ã®é›†åˆãŒ Monad ã§ã™ã€‚ m a ã§è¡¨ç¾ã§ãるよã†ã«ä¸€ã¤ã®åž‹å¤‰æ•°ã‚’æ ¼ç´ã™ã‚‹ã‚³ãƒ³ãƒ†ãƒŠåž‹ >>= 㨠return を実装 return ã¯æ–°ã—ã„コンテナを作りã€>>= ã¯äºŒã¤ã®ã‚³ãƒ³ãƒ†ãƒŠã‚’åˆæˆã—ã¾ã™ã€‚ Monad ã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã¯å¤±æ•—ç³»ã¨çŠ¶æ…‹ç³»ã«å¤§åˆ¥ã§ãã¾ã™ã€‚以下ã«ä»£è¡¨çš„ãªã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã‚’示ã—ã¾ã™ã€‚ 失敗系: Maybeã€[] (リスト)
第14回 関数脳ã®ã¤ãり方　Second Season　～モナドã§æ‚Ÿã‚Šã‚’ã²ã‚‰ã～
大手SIベンダã«ã¦SEã‚„PMやアーã‚テクトã¨ã—ã¦å‹¤å‹™ã—ãŸã®ã¡ï¼Œæ ªå¼ä¼šç¤¾è±†è”µã‚’経ã¦ï¼Œç¾åœ¨ã¯åˆåŒä¼šç¤¾ã‚·ãƒ³ãƒ—ルアーã‚テクト代表社員ã§ã‚ã‚Šï¼Œæ ªå¼ä¼šç¤¾åŒ Business Placeã®ãƒãƒ¼ãƒ•ã‚³ãƒ³ã‚µãƒ«ã‚¿ãƒ³ãƒˆã€‚主ã«è¶…上æµã®ãƒ—ãƒã‚»ã‚¹ã§ã‚ã‚‹è¦æ±‚開発やオブジェクト指å‘，アジャイル開発ã®ã‚³ãƒ³ã‚µãƒ«ã‚¿ãƒ³ãƒˆã¨ã—ã¦æ´»èºä¸ã€‚開発ã®ç¾å ´ã«ã“ã ã‚り，開発ã®ç¾å ´ã‚’å°‘ã—ã§ã‚‚よãã—ãŸã„ã¨æ—¥å¤œå¥®é—˜ã—ã¦ã„る。è¦æ±‚開発アライアンス執行委員。著書ã«ã€Žã‚ªãƒ–ジェクト脳ã®ã¤ãã‚Šæ–¹ã€ã‚„『eXtreme Programming実践レãƒãƒ¼ãƒˆã€ï¼ˆã¨ã‚‚ã«ç¿”泳社発行。後者ã¯å…±è‘—）ãªã©ãŒã‚る。 Javaãªã©ï¼Œã‚ªãƒ–ジェクト指å‘や手続ãåž‹ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®çµŒé¨“ã¯ã‚ã‚‹ã‘ã‚Œã©ï¼Œé–¢æ•°åž‹ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯åˆã‚ã¦ã¨ã„ã†çš†æ§˜ã®ãŸã‚ã®ï¼Œãã—ã¦ç†è€…自身ã®ãŸã‚ã®ã€Œé–¢æ•°è„³ã®ã¤ãã‚Šæ–¹ã€ã‚·ãƒªãƒ¼ã‚ºã®Second Season（First Seasonã¯ã“ã¡ã‚‰ï¼‰ã€‚今回ã¯ã€Œãƒ¢ãƒŠãƒ‰ã€ã‚’å–り上ã’ã¾
1
ランã‚ング
ランã‚ング
ãŠçŸ¥ã‚‰ã›
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}