generated at
CPS変換
直接スタイルをCPSに変換すること
これはコンパイラに任せることができる
それぐらい形式的に定義できるよという意味mrsekut


手動でCPS変換の練習





直観主義論理との関係
ref Curry-Howard同型対応#5e5a658619827000003d5c82


https://www.cis.upenn.edu/~plclub/blog/2020-05-15-Defunctionalize-the-Continuation/
defunctionalization