koba-e964 https://blog.hatena.ne.jp/koba-e964/ koba-e964の日記 https://koba-e964.hatenablog.com/ モナド変換子 Haskellにおいてモナド変換子(Monad transformer)は、以下の条件を満たすtです: tのkindは(* -> *) -> * -> * lift :: Monad m => m a -> t m aが定義されている liftが以下の法則を満たす: lift . return = return ∀m k. lift (m >>= k) = lift m >>= (lift . k) (この定義を便宜上函数的定義(functional definition)と呼びます。) この定義を圏論の言葉を使って書きなおすことを考えると、以下のようになります: tのkindは… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkoba-e964.hatenablog.com%2Fentry%2F2014%2F06%2F24%2F005524" title="モナド変換子の圏論的理解(Categorical understanding of monad transformers) - koba-e964の日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2014-06-24 00:55:24 rich https://koba-e964.hatenablog.com/entry/2014/06/24/005524 1.0 100%