generated at
継続を表す記法
『shift/resetプログラミング入門』の2.1で示されている記法
この文章特有のものなのか、一般的なものなのかは知らないがわかりやすいmrsekut


3 + 5 * 2 - 1 という式の 5 * 2 の部分を計算する時に、
3 + [5 * 2] - 1 と書く
角括弧内の [5 * 2] が、今から計算しようとしている部分
それ以外の、 3 + [.] - 1 継続である
つまり、このときの継続は \x -> 3 + x - 1 のような関数だとみなせる
[.] の部分はholeと呼ぶ
これは以下のように簡約され、継続が変化していくことがわかる
3 + [5 * 2] - 1
[3 + 10] - 1
[13 - 1]