函数式类型系统_JavaScript代数数据类型_技术教程

代数数据类型通过和类型与积类型组合数据，JavaScript虽无原生支持，但可用标签联合模拟，如Success/Failure或Just/Nothing；结合TypeScript可实现编译期类型检查，提升代码健壮性与可推理性，便于处理错误和空值，支持函数式编程中的安全组合与链式操作。

JavaScript 本身没有内建的代数数据类型（Algebraic Data Types, ADT），也不具备函数式语言中常见的类型系统，但通过一些模式和约定，我们可以在 JavaScript 中模拟出类似的功能。理解“代数数据类型”有助于写出更健壮、可推理的代码，尤其在使用函数式编程风格时。

什么是代数数据类型？

代数数据类型源自函数式语言如 Haskell、ML 等，其“代数”来自类型的组合方式：它们可以通过“和类型”（Sum Type）与“积类型”（Product Type）构造。

积类型：多个字段的组合，类似于对象或元组。例如：

const User = { name: String, age: Number };

这表示一个 User 类型是 name 和 age 的“乘积”。

和类型：表示“这个值可能是 A 或 B”。例如：

type Result = Success(value) | Failure(error)

这表示 Result 类型要么是成功，要么是失败 —— 是两个子类型的“和”。

JavaScript 没有原生支持这种类型语法，但我们可以通过结构模拟。

在 JavaScript 中模拟 ADT

我们可以用普通对象和函数来构造可识别的和类型（也叫标记联合，Tagged Union）。

例如，实现一个 Result 类型：

这样，type 字段作为标签，帮助我们在运行时判断数据的形态。虽然这不是编译期检查，但在函数式编程中很常见。

另一个例子是定义一个可能为空的 Maybe 类型：

这类模式提升了代码的表达力，让处理空值或错误更显式、更安全。

结合类型系统工具增强安全性

虽然 JavaScript 是动态类型，但我们可以通过 TypeScript 来真正实现代数数据类型的静态检查。

TypeScript 中可以这样定义 Result 类型：

type Result =
  | { type: 'Success'; value: T }
  | { type: 'Failure'; error: E };

const handleResult = (result: Result) => {
  switch (result.type) {
    case 'Success':
      console.log(result.value.toUpperCase());
      break;
    case 'Failure':
      console.log('Error:', result.error);
  } };

TypeScript 能根据 type 标签做控制流分析，确保每种情况都被处理，极大减少运行时错误。