20日の記事だが、
>Monad が Applicative のインスタンスでないと書いていたがそりゃそうで、 Monad は型クラスなのだった。具体的な型でないとインスタンス宣言を書けない。論文だとそういう書き方になっているのでアホなことを書いてしまった。WrappedMonad というのは、モナドを定型的にラップするための型ということだろう。実際、そうした定義で State や Writer や Reader を定義しておけば、 Wrap する必要もなく書けた。以上補足でした。
>
Category: Uncategorized
You can follow any responses to this entry via
RSS.
Both comments and trackbacks are currently closed.
