Graded Monad とエフェクト

Posted on 木 06 6月 2019 in 数学 • Tagged with 圏論, エフェクトシステム, モナド, プログラム意味論

graded monad について聞きかじって,色々調べたのでそのメモ. graded monad はエフェクトシステムの categorical semantics 作るときに使われてるらしい.エフェクトシステム勉強会でも話があったやつ.

モナドとエフェクト

まず基本的なやつから.以下の構造は一対一の対応を持つ.

クライスリトリプル (Kleisli triple)

CC 上のクライスリトリプルとは,以下の要素の組 (T,η …


Continue reading