Haskell 中的数据导向编程（SICP 2.4.3）
本文探讨了《计算机程序的构造与解释》（SICP）一书中提出的数据导向编程思想，并将其应用于 Haskell 语言。复数可以以直角坐标形式（实部和虚部）或极坐标形式（模和幅角）存储，无论以何种方式存储，我们都需要能够查询这四个量。文章在之前讨论的标签数据类型基础上，进一步展示了如何通过数据导向的方式实现通用的复数运算。
背景速读
- SICP（Structure and Interpretation of Computer Programs，又称《魔法书》）是 MIT 经典的计算机科学教材，以 Scheme（Lisp 方言）教学，深刻影响了编程语言设计和软件工程思想。2.4 节讨论“数据导向编程”——一种根据数据类型动态选择函数的编程风格，是面向对象多态和泛型编程的前身。
- 复数有两种标准表示法：直角坐标（实部 + 虚部）和极坐标（模长 + 角度）。两套表示下都能回答彼此的数据（如从极坐标计算实部），但代码若硬编码处理每种情况，扩展新类型会很麻烦。
- 数据导向编程的核心思路是“类型 + 操作”查表调度：不把逻辑写死在函数里，而是由系统根据数据类型和操作名自动查找对应实现。这是 SICP 中从“ tagged data ”（显式打标签）到更灵活架构的关键演进。
- 本文的独特之处在于用 Haskell（强类型纯函数式语言）来复现 SICP 的数据导向编程思想，展示 Haskell 的类型类和代数数据类型如何自然实现这种模式。