generated at
2/17/2025, 9:59:24 PM
継続を表す記法
『shift/resetプログラミング入門』
の2.1で示されている記法
この文章特有のものなのか、一般的なものなのかは知らないがわかりやすい
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]