CPS変換
直接スタイルをCPSに変換すること
これはコンパイラに任せることができる
それぐらい形式的に定義できるよという意味mrsekut.icon
手動でCPS変換の練習
直観主義論理との関係
ref Curry-Howard同型対応#5e5a658619827000003d5c82
https://www.cis.upenn.edu/~plclub/blog/2020-05-15-Defunctionalize-the-Continuation/
defunctionalization