含提升嵌套函数时如何构建词法作用域树？TypeScript编译器疑问

我正在用TypeScript开发编译器，当前聚焦于词法作用域的处理，尤其困惑于存在函数提升的场景——变量可能在某一阶段未定义，后续才完成定义。示例代码如下：

function a() {
  let d = 10
  b()
  return b
  let g = 40
  function b() {
    c()
    let f = 30
    return c
    function c() {
      console.log(d, e, f, g)
    }
  }
  let e = 20
}
const x = a()() // returns b, returns c
x() // log the variables

在此场景下，函数c内部的「词法作用域」究竟是什么？

• 是否是代码执行过程中某一阶段可能访问到的所有变量：(d, e, f, g)？
• 是否仅包含其运行时上下文最终会定义的变量：(d, f)？
• 是否仅包含不会因未定义抛出错误的变量：(d)？
• 是否是所有可能父作用域的组合（类似笛卡尔积）？
• 其他可能？

长期以来，我一直将词法作用域理解为简单的树形结构：上层作用域与嵌套作用域层级分明，每个嵌套作用域引入新变量。但上述场景打破了这一认知：聚焦函数c时，函数b的执行过程中每个阶段可能对应不同的父作用域，函数a同理，仿佛是向上展开的多分支结构。我猜想词法作用域是所有可能父作用域的组合，但不知如何在编译器中应用这一逻辑。

我困惑的点在于：若无法为嵌套函数确定单一的作用域定义，编译器中词法作用域的作用是什么？我曾假设每个嵌套函数对应一个作用域，但实际父作用域是多样的，似乎只有在绑定阶段（即代码执行的特定步骤）才能确定具体作用域。

那么该如何在编译器中利用这一信息？似乎只有模拟代码执行才能判断变量是否在作用域内。原本我计划将词法作用域作为嵌套词法作用域块中已定义变量的判断依据，但现在发现需要先知晓变量的实时值才能确定作用域，这是否存在认知偏差？

我尝试设计如下类型来解决该问题：

type SiteContainerScopeType = {
  like: Site.ContainerScopeType
  parent?: SiteContainerScopeType
  children: Array<SiteContainerStepScopeType>
  declarations: Record<string, SitePropertyDeclarationType>
}

type SiteContainerStepScopeType = {
  like: Site.ContainerStepScope
  previous: SiteContainerStepScopeType
  context: SiteContainerScopeType
  declarations: Record<string, SitePropertyDeclarationType>
}

内容的提问来源于stack exchange，提问作者Lance Pollard