web-dev-qa-db-ja.com

「効果よりも強力なモナド変換子」-例?

Idrisの効果に関する論文 「代数的効果と依存型を使用したプログラミングと推論」 には、次のような(参照されていない)主張が含まれています。

[効果とモナド変換子]の電力は同等ではありませんが(モナドとモナド変換子はより多くの概念を表現できます)、多くの一般的な効果的な計算がキャプチャされます。

モナド変換子でモデル化できるが効果はモデル化できない例はありますか?

77
geoff_h

継続は、CPSを使用してモナドとしてモデル化できますが、ローヴェア理論を使用してモデル化できないため、代数的効果ではありません。 Martin Hyland and John Power、2007、 普遍代数の圏論的理解:ローヴェア理論とモナド(pdf) 、ENTCS 172:437-458を参照してください。

10
Charles Stewart