动态语言 vs 静态语言

静态类型语言和动态类型语言的主要区别在于类型检查的时机：

1. 静态类型语言：

   • 类型检查时机：在编译阶段完成，即在代码运行之前，编译器会检查变量和表达式的类型是否匹配。

   • 类型声明：通常需要显式指定变量的类型（如 C、Java、Swift），有些语言可以通过类型推断减少声明（如 Scala）。

   • 优点：在编译时捕捉类型错误，提高代码的安全性和性能，编译器可以进行优化。

   • 缺点：类型定义更严格，可能导致代码编写和修改较为复杂。

2. 动态类型语言：

   • 类型检查时机：在运行时进行，变量类型可以随时变化，检查在代码实际执行时进行。

   • 类型声明：通常不需要显式声明类型，变量的类型会根据赋值的内容自动确定（如 Python、Ruby、JavaScript）。

   • 优点：编写灵活，代码通常更简洁，可在运行时处理不同类型的数据。

   • 缺点：由于类型检查在运行时进行，类型错误可能会在运行时抛出，影响程序的可靠性和性能。

总结：静态类型语言强调编译时类型检查，动态类型语言强调运行时类型检查。