ワンショット代数的効果から 非対称コルーチンへの変換

ワンショット代数的効果から 非対称コルーチンへの変換 河原 悟, 亀山 幸義 PRO2019-01 June 6, 2019 ワンショット代数的効果から 非対称コルーチンへの変換 背景 コルーチン コルーチンの合成性 代数的効果 研究 操作の対応 実装 応用 まとめと課題 変換 関連研究 対称コルーチンと非対称コ ルーチン ワンショット継続とコルーチ ンの複製 0/26 背景 コルーチン 様々な言語が持っている Lua, Ruby, C#, Kotlin, etc. 強力なコントロール抽象 async/await、イテレーション、 etc. 合成性(composability)に欠ける 背景 1/26 背景 代数的効果 インターフェースと実装を分離できる モジュール性、合成性が高い いくつかのコントロール抽象との関係が知られている 代数的効果 7→ 限定継続 代数的効果 7→ Free モ