As we described in the previous section, astatically typed language binds the type to a variable for the lifetime of that variable.
正如我们在前面的章节所描述的，一个静态类型的语言在一个变量的生命周期内都会绑定一个类型。
2
In the case of astatically loaded module, the list was constructed at compile-time, and so no special run-time directives are necessary.
在静态加载的模块的情况下，列表是在编译时构造，所以不需要用特殊的运行时指令。
3
Under working loads, the distribution of moments in astatically indeterminate structure is based on elastic theory and the whole structure remains in the elastic range.