ã©ã¤ãã©ãªã®æ¡å ã¨é¢æ°åè¨èªã®ãåå¼·ãå ¼ãã¦ãã¢ããã£ã½ããã®ãå®è£ ãã¦è¦ã¾ããã åç´ã«ã¢ãããOCamlã§ä½¿ãããã ããªãMonadæ¡å¼µãå ¥ããæ¹ãæã£åãæ©ãã§ããããã¾ãå¤é¨ã©ã¤ãã©ãªã¸ã®ä¾åæ§ãå ¥ããããªãã®ã¨ãOCamlã®è¨æ³ã®ä¸ã ãã§ã©ãã¾ã§åºæ¥ãã試ãã¦ã¿ããã£ãã®ã§ã ã¡ãªã¿ã«èª¤è§£ãé¿ããããå ã«æã£ã¦ããã¾ãããèªåã¯Haskellerã§ã¯ããã¾ããã 以ä¸ã§ã¯ã¢ããã«é¢ãã¦Haskellãããªãåèã«ãã¦ãã¾ãããHaskellã®ã¢ããã«å¯¾ããåéããªã©ãå«ã¾ãã¦ããå¯è½æ§ãããã¾ãã ãäºæ¿ä¸ããã ã¨ãããããã¤ã³ã¿ã¼ãã§ã¼ã¹ã¨ãªãã·ã°ããã£ããä½ã£ã¦ããã¾ãã (* åä»ãã¢ããã®ã·ã°ãã㣠*) module type TypedMonadType = sig type 'a t val empty : 'a t val singleton : 'a -> '
{{#tags}}- {{label}}
{{/tags}}