编辑“︁静态类型”︁（章节）

== 优势与特点 ==
静态类型系统具有以下主要优势：
* '''早期错误检测'''：在编译阶段就能发现类型不匹配等错误
* '''性能优化'''：编译器可以利用类型信息生成更高效的机器代码
* '''代码可维护性'''：类型声明作为文档，使代码更易于理解
* '''工具支持'''：支持更好的IDE自动完成和重构功能

=== 与动态类型对比 ===
{| class="wikitable"
|-
! 特性 !! 静态类型 !! 动态类型
|-
| 类型检查时机 || 编译时 || 运行时
|-
| 执行速度 || 通常更快 || 通常较慢
|-
| 灵活性 || 较低 || 较高
|-
| 典型语言 || [[Go]]、[[Java]]、[[C++]] || [[Python]]、[[JavaScript]]、[[Ruby]]
|}