ããã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
{{#tags}}- {{label}}
{{/tags}}