术语

绑定

在作用域内分配/绑定的值。

绑定类型

绑定的类型：导入值、分配值 (let/const/var)、导出值、func/class 声明、func/方法自变量等。

作用域

绑定可以在其中存在的块。块是任何用 {} 括起来的一段代码，例如类、函数、方法、回调、if/else 等。作用域具有层次结构，其中父级具有子级（并不总是如此），而子级属于父级。如果同名，子级中的绑定会隐藏父级中的绑定。

作用域标记

当前作用域的元数据（未继承层次结构作用域）：函数、构造函数、顶级（程序）等。

符号

具有对当前源文本中被绑定的变量的每个用法/调用站点的引用的绑定包装器。符号按扫描顺序分配一个 ID，并通过该 ID 达到对符号的引用点。

符号标记

有关符号/绑定的元数据。

引用

符号引用是符号的用法（反过来是绑定的），并按扫描顺序分配一个 ID。每个引用都标记为已读写，或两者兼而有之。

Span

节点在源文本内的起始/结束偏移。