日にちが開いてしまったけれど、前回の続き。 まず、meta continuation、メタ継続について。メタ継続とはつまり、「継続の継続」のことで、次のような動機により導入される概念らしい。resetとshiftの継続意味論を再掲。 ここで、resetがnon-tail callを含ん…

データ構造は中国では、「資料結構」というらしい。 「資料」も「結構」も日本語にあるのに、両方とも別の意味に使われているのは面白い。「結構」という語は、ポインタを張り巡らせたような複雑なデータ構造の様子をうまく表しているような気がするなぁ、結…