defunctionalization
脱関数化
https://en.wikipedia.org/wiki/Defunctionalization
https://ncatlab.org/nlab/show/defunctionalization
https://www.cis.upenn.edu/~plclub/blog/2020-05-15-Defunctionalize-the-Continuation/
@lotz84_
: 高階関数を含むプログラムを高階関数を"含まない"プログラムに変換する脱関数化(defunctionalization)を、【依存型】を持つプログラムにも適用できる方法を形式的に議論した研究👀
https://t.co/XwFcM7nNbF