世界の隅で誰ともなしに書いた先日のエントリに、光の速さでコメントが書き込まれていてちょっとビックリ&わざわざありがとうございます > id:practicalscheme, id:hominato コメントを解釈 とりあえず、頂いたコメントそのままだと、まだちょっと理解が及ばないので、無い知恵を絞ってコメントを解釈してみる。 id:practicalscheme 氏のコメントは: Schemerからすると話が逆で、継続渡しの方がモデルとして先にあって、スタックを使う通常の手続き呼び出しはその特殊例の最適化戦略なのです。だから継続を説明しようとすると継続渡しの話になってしまうのかもしれません。 継続渡しはあくまで計算過程のモデルで、その実装としてスタックを使うこともでき、現実のScheme処理系もスタックはスタックのまま継続を実装しています。動的に継続渡し形式のようなコードを生成するわけでは