2010-01-25から1日間の記事一覧
また、間が開いちゃったんですが、少し前にどんな関数でもモナドになれる件をかいたのですが、今回、さらに一歩進めて、ただの値でもモナドになることを書きたいと思います。ということでこちら: newtype V a = V {unv :: a} instance Monad (V) where retu…
また、間が開いちゃったんですが、少し前にどんな関数でもモナドになれる件をかいたのですが、今回、さらに一歩進めて、ただの値でもモナドになることを書きたいと思います。ということでこちら: newtype V a = V {unv :: a} instance Monad (V) where retu…