あどけない話

インターネットに関する技術的な話など

2010-05-26から1日間の記事一覧

Monadとして抽象化すると何が嬉しいの?

The Typeclassopediaには、以下のような文章があります。 結局、あらゆる誇大広告にもかかわらず、Monadは単なる型クラスに過ぎません。 また、The Trivial Monadでは、以下のように述べられています。 Haskell の Monad は型クラスの1つです。Haskell の型…