ãã®è¨äºã¯ã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ã[] (ãªã¹ã)
{{#tags}}- {{label}}
{{/tags}}