静态类编程语言 ​

静态类型语言（Static Typing）
静态类型语言在编译时就需要确定所有变量的数据类型，编译器会检查代码中是否存在类型不匹配的情况。如果类型不一致，编译器会报错，阻止程序运行。

常见静态类型语言包括：

C/C++
Java
C#
Swift
Go
Rust
Kotlin
静态类型语言的优势：

类型安全性：编译时的类型检查可以避免运行时的类型错误，提高程序的稳定性和可靠性。
性能优化：编译器可以在编译阶段进行优化，因为类型信息已知，所以可以生成更高效的机器码。
可维护性：清晰的类型定义有助于理解和维护大型代码库，尤其是多人协作的项目。
动态类型语言（Dynamic Typing）
动态类型语言允许变量在运行时才决定其类型，这意味着同一变量在不同的时间点可以存储不同类型的值。
这通常使语法更加灵活，但可能在运行时才会暴露出类型错误。