08/05/30 23:27:08
みなさまありがとうございます．
末尾再帰呼び出しについて >>217 さんのご説明が私のイメージにいちばん近くわかりやすいです．
この例で，C の呼び出しは実際には A を呼び出しているわけで，>>214 さんのいわれるような
「末尾コンテキストでの呼び出し(C)は、実際には(Cの)スタックフレームに積まれた引数を(Aに)移動させる」
処理が起きるわけですよね．
問題は，この中に continuation が混在していることなのですが，この図に continuation の
スタックフレームへの参照を追加するとどのような図になるのでしょうか．
再帰呼び出しの中で，どのようにすれば continuation が「正しい」scope を持ち続けることが
できるのかということなのですが…