Haskell 中的带标签数据（SICP 2.4.2）
本文探讨了 SICP 第 2.4.2 节中关于带标签数据的概念，并展示了如何在 Haskell 中实现这一模式。通过将不同类型的数据附上标签，可以在运行时区分和处理多种数据类型，从而实现通用操作。文章结合具体代码示例，说明了类型标签、数据抽象和类型类等 Haskell 特性如何共同支持这种设计方法。
背景速读
- 本文讨论的是计算机科学经典教材《计算机程序的构造和解释》（SICP）中的第2.4.2节，主题是“带标签的数据”（tagged data）——一种在类型系统不强的语言中实现数据多态性的技巧。
- SICP使用Lisp（一种动态类型语言）教学，而本文作者尝试用Haskell（一种强静态类型语言）来实现同样的概念。Haskell的类型系统（特别是代数数据类型和类型类）让SICP中的许多技巧变得冗余或需要重新思考。
- 带标签的数据（tagged data）：在运行时给数据加上类型标签（如一个符号或数字），程序根据标签决定如何处理——本质上是手动实现运行时类型分派。这在不支持多态或继承的语言中很常见。
- 本文的核心对比：Lisp中你手动管理标签来模拟多态；Haskell中，类型系统（如`data`定义的联合类型和模式匹配）天然支持这种用法，且编译期就能检查类型错误。
- 目标读者：对函数式编程感兴趣、已经学过SICP或同时关注Lisp和Haskell的程序员。这篇文章帮助他们理解两种语言的设计哲学差异。