What is algebraic about algebraic effects and handlers? https://arxiv.org/abs/1807.05923 algebraic effect のどの辺りが代数的なのかという観点からの入門テキスト。 大体想像通りの方向性だったけど、実際の形式化はこんな感じなのね。 あと、Comodelの話とか面白かった。