Frank
Effect Systemを実装しているプログラミング言語
Do be do be doというタイトルの論文
ここで見た
>この言語では A -> ［e］B とかくと自然に forall eff. A -> {eff + e}B と解釈されてpolymorphic effectの計算が行われる。
記事中で言う(3)の実装
>この言語では A -> ［e］B とかくと自然に forall eff. A -> {eff + e}B と解釈されてpolymorphic effectの計算が行われる。