compiler-construction - 什么是 "Lambda Lifting"？

Question

我刚刚在浏览 Erlang 编译器源代码时遇到了这个问题。

我不太明白。 (去图;))，考虑到我刚刚意识到 5 分钟前有这样的事情)。

请原谅我在没有首先尝试了解其存在的原因的情况下先询问。

有一个wikipedia article关于它，但它非常神秘。

Answer 1

Lambda 提升用于将闭包转换为纯函数。通过向函数传递额外的参数，可以减少其自由变量的数量。当您将 lambda“提升”到越来越高的范围时，您添加参数以容纳在该范围内声明的局部变量(否则将是自由变量)。一旦 lambda 没有自由变量，它就是一个纯粹的“顶级”函数。

当然，只有在您了解 lambda 的所有调用站点的情况下才能执行此操作；换句话说，只有当 lambda 没有逃逸时。

编译器优化器的好处是可以消除闭包(函数环境)。这可能使得在寄存器中传递参数而不是堆栈(或堆)将它们分配为自由变量成为可能。