当有闭包/词法 scope 时，如何确定何时从堆栈中弹出激活记录？

Question

我正在研究一种你可能知道的语言。 我目前正在将函数编译为较低级别的字节码，并且想知道如何/何时从调用堆栈中弹出 function。

所以说我们有这个：

function a() {
  let grandpa = 'grandpa'
  return function b() {
    let father = 'father'
    return function c() {
      let son = 'son'
      return `${grandpa} > ${father} > ${son}`
    }
  }
}

let x = a()
let y = x()
let z = y()

到我们调用let x = a()时， a的主体仍然存在，直到我们完成序列并调用y()之后。 所以看起来a没有从堆栈中弹出，但我不确定它是如何工作的。

您在什么阶段告诉编译器从堆栈中删除该项目？ 它可以静态完成（在编译时），还是必须使用运行时信息？ 您如何解决这个问题（使用伪代码演示如何跟踪是否可以清除激活记录）？

基本上我目前正在做的是这样的：

for each function in ast {
  for each call in function.body {
    createStackFrame!
    for each input in call.inputs {
      push(input)
    }
    call(call.index)
    popStackFrame!
  }
}

但是popStackFrame仅适用于简单情况，不适用于闭包。 那么我需要改变什么？