编程语言按照是否需要明确变量类型，以及何时需要明确变量类型，可以分为静态类型语言和动态类型语言。

    • 静态类型语言（Static Typing）：在静态类型语言中，变量的类型在编译时就已经确定，并且一旦声明，变量的类型通常就不能更改。

    也就是说，我们需要在编写代码时指定每个变量的类型。如果尝试将错误的类型赋值给变量（例如，将字符串赋值给整型变量），编译器就会在编译时报错。C、C++、Java、Go 和 Rust 都是静态类型语言的例子。静态类型语言的优点包括类型错误在编译阶段就能被发现，以及编译器可以进行更有效的优化。

    • 动态类型语言（Dynamic Typing）：动态类型语言在运行时才会确定变量的类型，这意味着你在编写代码时不需要显式地声明变量的类型，可以在程序运行期间改变变量的类型。

    例如，一个先前存储了整数的变量可以被赋予一个字符串。如果你试图进行无效的操作（例如，在数字上执行字符串操作），你会在运行时得到错误。JavaScript、Python、Ruby 和 PHP 是动态类型语言的一些例子。动态类型语言的优点是编写的代码通常更少、更简单，更具有灵活性。

    需要注意的是，无论是静态类型语言还是动态类型语言，都有它们各自的优点和缺点，选择哪种类型的语言取决于具体的项目需求、团队经验和个人喜好。