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