限定継続について勉強してみた(continued) - Homoiconic Days

限定継続について勉強してみた(continued) - Homoiconic Days

日にちが開いてしまったけれど、前回の続き。 まず、meta continuation、メタ継続について。メタ継続と...概要を表示 日にちが開いてしまったけれど、前回の続き。 まず、meta continuation、メタ継続について。メタ継続とはつまり、「継続の継続」のことで、次のような動機により導入される概念らしい。 resetとshiftの継続意味論を再掲。 ここで、resetがnon-tail callを含んでいることに注意。継続kの呼び出しは、式Eをという継続とともに評価して、値が「返って」くるまで実行がサスペンドされる。関数がreturnすることを強制されるのでtail callではない。 では、tail callにするために としてはダメなのかといえば、これはよくない。Eに与えられる継続は、shiftからの脱出によって捨てられる可能性があるためだ(resetの継続kは、shiftから脱出したときでも実行されるのだから、脱出によって捨てられてしまってはいけない)。 shift内で捕捉される継続についても、t