结构正确性

- 本文探讨的是软件工程中一种设计理念：**结构正确性**（Structural Correctness），指代码的结构本身就保证了其行为正确，而非依赖测试或运行时检查。 - 核心思想是借助**强类型系统**、**不可变数据**、**代数数据类型**（如 Rust 的 Enum、Haskell 的 Maybe）等语言特性，让非法状态在编译期就无法表达。 - 这与"测试驱动开发"或"防御性编程"形成对比：后两者依赖运行时发现错误，而结构正确性试图在编译时消除整类错误。 - 这是函数式编程圈（尤其是 Haskell、Rust、OCaml 社区）长期讨论的概念，近年随着 Rust 走入主流而获得更广泛的工程关注。 - 作者 sao 是活跃于编程语言设计和系统编程领域的工程师/博主，文章常涉及类型系统、正确性、软件开发方法论等话题。