継続を表す記法
この文章特有のものなのか、一般的なものなのかは知らないがわかりやすいmrsekut.icon
3 + 5 * 2 - 1という式の5 * 2の部分を計算する時に、
3 + [5 * 2] - 1と書く
角括弧内の[5 * 2]が、今から計算しようとしている部分
つまり、このときの継続は\x -> 3 + x - 1のような関数だとみなせる
[.]の部分はholeと呼ぶ
これは以下のように簡約され、継続が変化していくことがわかる
3 + [5 * 2] - 1
[3 + 10] - 1
[13 - 1]