动态类型语言编译器如何处理非本地变量的变化？

以下是Lua代码（我使用它是因为Lua在被解释之前是先被编译成字节码的）:

local myVar = "h";

local function printer()
    print(myVar)
end;

printer();

myVar = 7;

printer();

运行结果分别为 h 和 7。

由于语言的动态类型性质，我想变量必须由于数据类型的变化而在内存中重新分配。按照这个假设，myVar 必须在脚本不同的部分引用不同的位置。如果是这种情况，那么编译器编译的 printer 函数必须有两个版本：一个是变化之前的，另一个是变化之后的。

我还考虑了每个变量可能都有一些内存位置被分配给它，可以通过检查给定的内存位置来找到变量值的当前分配位置。如果是这种情况，我认为类似表这样的引用类型会在所引用的位置存储一个引用（双重引用）？

那么，是否为每个可能运行的函数编译了不同版本的函数？变量位置变化是否通过指针跟踪？或者这里正在进行其他进程？