モナドã®ãŸã‚ã®åœè«–入門 - é‡ã®ä¸Šã§processã¯å¹¾ã¤è¸Šã‚Œã‚‹ã‹ï¼Ÿã€Œãƒ¢ãƒŠãƒ‰ã¯è‡ªå·±é–¢æ‰‹åœã®ãƒ¢ãƒŽã‚¤ãƒ‰å¯¾è±¡ã«ã™ãŽãªã„ã€ã¨ãƒ¯ãƒ‰ãƒ©ãƒ¼ã¯ã„ã£ãŸãŒãã®äº‹ã‚’説明ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ 次ã®ã‚‚ã®ã‚’説明ã—ã¾ã™ã€‚ 対象 å°„ çµåˆå‰‡ æ’ç‰å°„ åœ é–¢æ‰‹ è‡ªç„¶å¤‰æ› åœã®åŸºç¤Ž åœã¯ä»¥ä¸‹ã®ã‚‚ã®ã‹ã‚‰æ§‹æˆã•ã‚Œã¾ã™ å°„ 対象 å°„ã¯ã‚½ãƒ¼ã‚¹ã¨ã‚¿ãƒ¼ã‚²ãƒƒãƒˆã‚’çµã¶çŸ¢å°ã¨ã•ã‚Œã¾ã™ XãŒã‚½ãƒ¼ã‚¹YãŒã‚¿ãƒ¼ã‚²ãƒƒãƒˆã®ç¤¾ã¯æ¬¡ã®é€šã‚Šã«è¨˜è¿°ã•ã‚Œã¾ã™ã€‚ å°„ã®çµåˆ ã®äºŒã¤ã®å°„ãŒå˜åœ¨ã—ãŸå ´åˆçµåˆã™ã‚‹äº‹ãŒã§ãã¾ã™ ã•ã‚‰ã«ä»¥ä¸‹ã®å…¬ç†ã‚’満ãŸã™å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ æ’ç‰å°„ çµåˆå‰‡ æ’ç‰å°„ ä»»æ„ã®å¯¾è±¡Xã«å¯¾ã—ã¦å°„ ãŒå˜åœ¨ã—æ’ç‰å°„ã¨ã„ã†ã€ã•ã‚‰ã«ä»»æ„ã®å°„ã«å¯¾ã—㦠ãŒæˆã‚Šç«‹ã¤ã€‚ çµåˆå‰‡ ãŒæˆã‚Šç«‹ã¡ã“れをçµåˆå‰‡ã¨ã„ã†ã€‚ 関手 åœCã¨åœGãŒå˜åœ¨ã—ãŸã¨ã—ã¦ã€ Cã‹ã‚‰Gã«å¯¾ã—㦠対象 å°„ を対応ã•ã›ã‚‹ã‚‚ã®ã§ã‚る。ã“ã®æ™‚関手ã¯ä»¥ä¸‹ã®æ€§è³ªã‚’ä¿ã£ã¦ã„ãªã‘ã°ãªã‚‰ãªã„。 æ’ç‰å°„ å°„ã®åˆæˆ è‡ªç„¶å¤‰æ› åœCã¨åœDã®é–“ã«ã€Fã€Gã¨ã„ã†é–¢æ‰‹ãŒå˜åœ¨ã—〠Fã‹ã‚‰Gã¸ç§»ã™å°„ ãŒå˜
{{#tags}}- {{label}}
{{/tags}}