As we described in the previous section, astatically typed language binds the type to a variable for the lifetime of that variable.

正如我们在前面的章节所描述的，一个静态类型的语言在一个变量的生命周期内都会绑定一个类型。

youdao

In the case of astatically loaded module, the list was constructed at compile-time, and so no special run-time directives are necessary.

在静态加载的模块的情况下，列表是在编译时构造，所以不需要用特殊的运行时指令。

youdao