Looking for haskell Answers? Try Ask4KnowledgeBase
Looking for haskell Keywords? Try Ask4Keywords

Haskell Languageモナド


前書き

モナドは、構成可能なアクションのデータ型です。 Monadは、値がそのようなアクションを表す型コンストラクタのクラスです。おそらく、 IO最も有名なものです:の値IO a 「取得するためのレシピです現実の世界から値を」。 a

私たちは、型のコンストラクタm[]Maybeは、アクションの構成に関するある種の法律を満たすinstance Monad mがある場合、モナドを形成すると言っていinstance Monad mma 、私たちは、「結果がタイプa持つアクション」としてmaすることができます。

モナド 関連する例