Frank
Effect System
を実装している
プログラミング言語
bidirectional effect type system
https://arxiv.org/abs/1611.09259
Do be do be do
というタイトルの論文
mrsekut.icon
github
https://github.com/frank-lang/frank
ここ
で見た
この言語では A -> [e]B とかくと自然に forall eff. A -> {eff + e}B と解釈されてpolymorphic effectの計算が行われる。
記事中で言う(3)の実装