“untyped”和“dynamically typed”编程语言有什么区别？

编程语言可以分为很多种，其中包括静态类型语言、动态类型语言、强类型语言、弱类型语言等等。本文将会详细介绍其中的“untyped”和“dynamically typed”编程语言。

阅读更多：Python 教程

什么是“untyped”编程语言？

“untyped”编程语言也称为无类型编程语言，它没有指定所使用的变量类型，即在程序运行时无需指定变量类型。在写“untyped”编程语言时，可以自由地使用不同的类型，并且类型可以在任何时候改变。由于没有角色做语言规定数据类型，在编写代码的时候，变量可以用来存储任何类型的值。

举个例子，下面是一个JavaScript代码块：

var value = 42;
value = 'fourty-two';

上面的代码没有指定变量value的类型，它定义了一个变量value，并将一个整数（42）分配给它。之后，它将一个字符串（’fourty-two’）分配给该变量value。由于JavaScript是“untyped”编程语言，因此此代码是有效的。

这种类型的编程语言的优点是灵活性；可以快速编写代码，并且通常更容易学习。然而，正如将要解释的，这种灵活性也可能导致其他问题。

什么是“dynamically typed”编程语言？

相对于“untyped”编程语言的普及性，我们在学习和工作中更多地接触到的是“dynamically typed”编程语言。动态类型语言，与静态类型语言相反，在程序运行时进行类型检查，而不是在编译时。虽然变量在编写代码的时候具有类型，但可以在运行时更改或分配不同的类型。如果在程序运行的过程中一个变量被分配了一个不同的类型，这将被认为是正常行为。

举个例子，下面是一个Python代码块：

value = 42
value = 'fourty-two'

这个例子与之前的JavaScript代码块非常相似，它们的区别在于Python是一个“dynamically typed”编程语言。在这种语言中，可以将任何值分配给变量，无需首先将其转换为正确的类型。本例中，初始值（42）是整数类型，而分配的新值（’fourty-two’）是字符串类型。

与“untyped”编程语言相比，“dynamically typed”编程语言相对更安全，因为它们可以检测类型错误，并在运行时进行更好的调试。

区别比较

总之，“untyped”编程语言和“dynamically typed”编程语言之间的主要区别在于它们处理的数据类型是否固定。如下表比较了这两种类型之间的区别：

此外，“untyped”编程语言可用于快速开发原型，或需要动态调整的场景，而“dynamically typed”编程语言适用于需要额外检查类型的场景，比如安全性要求更高的项目。因此，选择哪种语言取决于特定的使用场景和需求。

结论

“untyped”编程语言和“dynamically typed”编程语言之间有很明显的差别。当然，在许多情况下，这并不是非此即彼的。事实上，一些语言在它们的核心中是“untyped”，但也提供了类型检查可以进行更加安全的编码，例如在JavaScript中引入了TypeScript。

需要注意的是，本文介绍的仅仅是编程语言的类型之间的差异，而不是类型系统的完整概念。任何类型系统都是复杂的，其类型信息是复杂且包容的。有关类型系统的更多详细信息，请参阅此领域的文献。

最后，选择使用哪种编程语言，取决于项目的具体需求和约束条件。好的编程是在实践中成长而来的，而这种实践也具有灵活性和开放性。