代数数据类型通过和类型与积类型组合数据，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 的“乘积”。
立即学习“Java免费学习笔记（深入）”；
和类型：表示“这个值可能是 A 或 B”。例如：
type Result = Success(value) | Failure(error)这表示 Result 类型要么是成功，要么是失败 —— 是两个子类型的“和”。
JavaScript 没有原生支持这种类型语法，但我们可以通过结构模拟。
在 JavaScript 中模拟 ADT
我们可以用普通对象和函数来构造可识别的和类型（也叫标记联合，Tagged Union）。
例如，实现一个 Result 类型：
const success = (value) => ({ type: 'Success', value });
const failure = (error) => ({ type: 'Failure', error });
const handleResult = (result) => {
if (result.type === 'Success') {
console.log('成功:', result.value);
} else if (result.type === 'Failure') {
console.log('失败:', result.error);
}
};
这样，type 字段作为标签，帮助我们在运行时判断数据的形态。虽然这不是编译期检查，但在函数式编程中很常见。
另一个例子是定义一个可能为空的 Maybe 类型：
const just = (value) => ({ type: 'Just', value });const nothing = () => ({ type: 'Nothing' });
const mapMaybe = (f, maybe) => {
if (maybe.type === 'Just') return just(f(maybe.value));
return nothing();
};
这类模式提升了代码的表达力，让处理空值或错误更显式、更安全。
结合类型系统工具增强安全性
虽然 JavaScript 是动态类型，但我们可以通过 TypeScript 来真正实现代数数据类型的静态检查。
TypeScript 中可以这样定义 Result 类型：
type Result<T, E> =| { type: 'Success'; value: T }
| { type: 'Failure'; error: E };
const handleResult = (result: Result<string, string>) => {
switch (result.type) {
case 'Success':
console.log(result.value.toUpperCase());
break;
case 'Failure':
console.log('Error:', result.error);
} };
TypeScript 能根据 type 标签做控制流分析，确保每种情况都被处理，极大减少运行时错误。
ADT 带来的函数式优势
使用代数数据类型能让函数返回值更具表达性。相比抛异常或返回 null，返回一个标记联合类型更符合纯函数的原则。
- 函数无副作用，错误信息封装在返回值中
- 调用者必须显式处理每种情况
- 便于组合：map、flatMap、chain 等操作可统一定义在 ADT 上
比如，你可以为 Result 类型实现 chain 方法，实现异步操作的链式处理，类似 Promise 但更可控。
基本上就这些。JavaScript 虽然没有原生 ADT，但通过对象结构、标签联合和 TypeScript，完全可以实践函数式中的类型代数思想。关键是用一致的模式表达数据的“可能性”，让逻辑更清晰、更少出错。
