今まで実はHaskellにおいてinstance宣言を使ったことが無かったのでどういうものなのかよく知らなかった。 なので調べてみることに。身近な実例を探すと、リストモナドの定義があった。 instance Monad [] where xs >>= f = concatMap f xs return x = [x] …

モナドについて、今までStateモナドとGet,ついでにいえばApplicative程度しか使ったことがないので、その他のモナドも、 ttp://www.sampou.org/haskell/a-a-monads/html/ を参考に勉強していくことにする。 というわけで、まずは Identityモナド newtype Ide…