handlers-tutorial

Eff言語のサイトからリンクされているチュートリアル論文

1. Language

本論文で使うサンプル言語の説明

2. Examples

2.1 Input & output

IOエフェクト

逆順に出力する例

継続の端まで行ったあと、逆順に出力処理が実行される

2.2 Exceptions

2.3 Non-determism

2.4 State