主要观点：在字节码解释器中实现一阶函数很简单，而编译器生成机器码等时如何实现高阶函数是个问题，2021 年在 Pallene 编译器中贡献闭包时找到答案，今日在相关研究中又发现“去函数化”技巧；通过引入 GADT“arrow”来重写程序以去除高阶函数，用数据构造器表示函数，用辅助函数“apply”调用，示例中用此方法将使用高阶函数的程序转换为仅使用顶级函数的程序；还提到可变性捕获需先进行“lambda 提升”，并给出相关研究资源。
关键信息：2021 年在 Pallene 编译器中找到实现高阶函数的方法；今日发现“去函数化”技巧；通过 GADT“arrow”和“apply”重写程序去除高阶函数；需先进行“lambda 提升”处理可变性捕获；给出相关研究资源。
重要细节：如示例中对fold函数及sum、add函数的处理，Arrow数据类型及构造器的定义，apply函数的实现等；提到在 Pallene 语言中添加对可变性捕获支持的 PR 链接。