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

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

youdao

This strategy allows powerful code refactoring tools, which are much more difficult to achieve using the same methods for statically typed languages.

这一策略允许使用强大的代码重构工具，而使用静态类型语言的同样方法来实现此功能则困难得多。

youdao

Note that this is statically typed.

注意，这是静态输入的。

youdao