Programming Language

动态语言在运行时进行类型检查，而静态语言在编译时进行类型检查。

• 动态语言：Python、JavaScript、Ruby、PHP、Lua 等。
• 静态语言：C、C++、Java、C#、Go、Rust、Swift、Kotlin、TypeScript、Haskell、Scala 等。

---

弱/强类型：会/不会发生隐式类型转换

• 强类型：
• 弱类型：

动态语言

动态语言（Dynamic Languages）在运行时确定变量类型，这让它们在某些情况下更灵活。常见的动态语言包括：

1. Python：支持动态类型，常用于数据科学、人工智能、Web 开发等领域。
2. JavaScript：浏览器和服务器端的常用语言，支持动态类型，是 Web 开发的核心语言。
3. Ruby：专注于开发者友好性，广泛用于 Web 开发，尤其是 Ruby on Rails 框架。
4. PHP：Web 开发的流行语言，特别是在动态网站和服务器端脚本方面。
5. Lua：轻量级、嵌入式的动态语言，常用于游戏脚本和嵌入式开发。
6. Perl：适合文本处理和系统管理任务的语言，具有动态类型。
7. Lisp / Clojure：函数式编程语言，允许动态类型，广泛用于 AI 和符号处理。
8. R：专门用于统计计算和数据分析，具有动态类型。
9. Smalltalk：面向对象编程语言，具有动态类型，是许多现代编程概念的先驱。

静态语言

静态语言（Static Languages）在编译时进行类型检查，要求在代码中指定变量类型，从而可以在编译期间发现许多类型错误。这使得它们的运行效率通常更高，常见的静态语言包括：

1. C / C++：需要在编译时定义变量类型，主要用于系统编程和高性能应用。
2. Java：面向对象语言，需要指定类型，常用于企业应用和 Android 开发。
3. C#：静态类型语言，基于 .NET 平台，广泛用于企业级应用。
4. Go：现代静态语言，设计用于高并发，适合后端开发和系统编程。
5. Rust：系统级编程语言，强调内存安全和性能。
6. Swift：Apple 推出的静态语言，主要用于 iOS 和 macOS 应用开发。
7. Kotlin：静态类型语言，常用于 Android 开发。
8. TypeScript：JavaScript 的超集，提供静态类型检查，适合大型 JavaScript 项目。
9. Haskell：函数式静态语言，常用于研究和一些复杂的业务逻辑应用。
10. Scala：静态类型语言，结合了面向对象和函数式编程特点，广泛用于分布式系统开发（如 Spark）。

中间语言

有些语言既支持动态类型，也支持静态类型，通过提供类型注解或类型推断实现灵活性：

1. TypeScript：TypeScript 在编译阶段提供静态类型检查，但编译后生成 JavaScript，因此运行时仍是动态的。
2. Python（类型注解）：Python 3 引入了类型注解，通过工具如 mypy 可以实现类似静态类型的检查，但本质上 Python 仍然是动态语言。
3. Ruby（类型检查库）：Ruby 社区也有一些类型检查库（如 Sorbet），提供静态类型检查功能，但运行时仍是动态的。
4. PHP（类型提示）：PHP 7+ 支持类型提示，并支持严格类型模式，接近静态类型检查，但仍然不是完全静态语言。