>@lotz84_: 高階関数を含むプログラムを高階関数を"含まない"プログラムに変換する脱関数化（defunctionalization）を、【依存型】を持つプログラムにも適用できる方法を形式的に議論した研究👀

>https://t.co/XwFcM7nNbF