六年编程老鸟：用“类型”把Bug扼杀在编译阶段
内容提要
本文介绍代数数据类型（积类型与和类型）在编程中的应用，强调通过类型系统将业务规则编码，利用模式匹配和穷尽检查在编译阶段拦截Bug，减少运行时错误，提升代码安全性与重构效率。作者分享六年经验，认为这是现代编程的关键工具。
延伸解读
积类型与和类型的本质区别
积类型（如结构体）要求所有字段同时存在，确保数据完整性；和类型（如枚举）则表达互斥的选择，一个值只能是多种形态之一。理解两者的区别是掌握代数数据类型的关键：积类型对应“同时拥有”，和类型对应“二选一”。这种区分让开发者能更精确地建模业务规则，避免非法状态。
类型系统如何减少运行时错误
通过将业务规则编码进类型，编译器能在编译阶段拦截非法组合和未处理的分支。例如，用和类型替代可空字段和布尔标记，可以杜绝“亮色方案为空但暗色方案有值”这类矛盾状态。模式匹配的穷尽检查强制开发者处理所有可能情况，从而显著降低运行时错误，提升代码的健壮性。
重构效率的提升
当新增一个枚举变体时，编译器会列出所有未覆盖的匹配分支，引导开发者逐一修改，避免了手动搜索和遗漏。这种编译器引导的重构方式，将修改过程从依赖记忆的脑力劳动转变为机械操作，大大提高了代码维护的效率和安全性。
学习曲线与适用场景
虽然代数数据类型能带来诸多好处，但初学者可能会觉得编写多个匹配分支繁琐。然而，一旦习惯，开发者会发现运行时错误大幅减少。文章作者甚至表示，不支持这些特性的语言不会用于正经项目。因此，对于追求高可靠性的项目，投资学习这些概念是值得的。
Q&A
什么是代数数据类型？它包含哪两种基本结构？
代数数据类型由积类型和和类型组成。积类型表示多个字段必须同时存在，类似于结构体；和类型表示一个值可以是几种情况之一，类似于枚举。
积类型和和类型有什么区别？
积类型表示同时拥有多个字段，例如一个用户必须同时有ID和角色；和类型表示二选一，例如一个操作结果要么成功要么失败。积类型相当于乘法，和类型相当于加法。
和类型如何帮助避免非法状态？
和类型通过将选择关系编码进类型，使得只有合法的组合才能被构造。例如，用枚举表示可切换或固定主题，每个变体只携带所需字段，编译器禁止了非法组合，从而避免了运行时错误。
为什么说错误也应该写在函数签名里？
因为函数签名明确列出成功和失败的类型，调用者必须处理所有可能的结果，不能忽略错误。这比异常处理更安全，因为异常不会在签名中体现，容易遗漏。
可选类型如何解决空值问题？
可选类型显式表示值可能缺失，编译器强制调用者处理缺失的情况，从而避免了空指针异常。它还可以与结果类型组合，表示多种结果，如找到、未找到或出错。
模式匹配的穷尽检查有什么好处？
模式匹配的穷尽检查强制处理所有分支，漏掉任何一个都会编译失败。这使得重构更安全，因为新增变体时编译器会列出所有需要修改的地方，避免了运行时错误。
使用和类型和模式匹配后，重构代码有什么变化？
重构时，新增一个变体后，编译器会报错指出所有未覆盖的匹配，开发者只需按错误列表修改，无需手动搜索，将重构从脑力劳动变为机械操作，提高了效率和安全性。
作者对编程语言有什么最低要求？为什么？
作者要求编程语言必须支持和类型和模式匹配，因为这两者能提供类型安全，避免手动模拟类型安全带来的痛苦，减少运行时错误。
