Algebraic EffectsとExtensible Effectsの違いってなんや? 関係あんの?

1. はじめに 最近のエフェクトシステム2大ホットトピックといえばAlgebraic EffectsとExtensible Effectsだろう [要出典]｡ 度々この2つの違いは何なのかという質問を見ます｡ 比較というわけでも無いんですが､今回はこの2つを並べて見比べてみましょう｡ そいうえばだいぶ前の発表でこんなこと言ってましたけど 本当かしら 2. Algebraic Effects and Handlers PlotkinとPowerによりもたらされた､計算エフェクトを代数的に表現するという考え方[1]に､PlotkinとPretnarがハンドラを追加したもの[2]である｡ 詳細はカツアイしますんで､本ブログをご巡回ください｡ 簡単にまとめると､ 新たな言語機能 エフェクト(仕様)とハンドラ(実装)が分離できるモジュラーな手法 エフェクトシステムによって計算中にどのようなエフェクト

[hamamuratakuo]

Algebraic Effects and Handlers → 計算エフェクトを代数的に表現するという考え方に、ハンドラを追加したもの。Extensible Effects → Monad Transformerに代わるエフェクトをガチャガチャやる方法。限定継続、コルーチン