代数数据类型由和类型与积类型构成，JavaScript可通过标签联合与工厂函数模拟ADT，如用Result.Ok/Err实现Either模式，结合match方法进行安全解构，适用于表单验证、网络状态建模等场景，提升代码可维护性与类型安全性。
在JavaScript中实现函数式编程时，代数数据类型（Algebraic Data Types, ADT）虽然不像Haskell或PureScript那样原生支持，但我们可以借助语言特性模拟其行为，提升代码的表达力与类型安全。
什么是代数数据类型
代数数据类型是由“和类型”（Sum Type）与“积类型”（Product Type）组合而成的数据结构。
积类型对应多个值的组合，类似于对象或元组。例如，一个用户信息包含姓名和年龄，就是两个字段的乘积：
const User = (name, age) => ({ name, age });这相当于数学上的乘积：字符串 × 数字。
立即学习“Java免费学习笔记（深入）”；
和类型表示“要么是A，要么是B”的选择关系。比如一个结果可能是成功，也可能是失败：
const Success = (value) => ({ type: 'Success', value });const Failure = (error) => ({ type: 'Failure', error });
这种结构常用于表示 Either 类型（类似Promise的成功/失败路径）。
用JavaScript模拟ADT
虽然JavaScript是动态类型语言，但我们可以通过约定和构造函数来模拟ADT。
以处理表单验证为例，定义一个和类型 Result：
Result.Ok = (value) => ({
type: 'Ok',
value,
map: f => Result.Ok(f(value)),
flatMap: f => f(value)
});
Result.Err = (error) => ({
type: 'Err',
error,
map: _ => Result.Err(error),
flatMap: _ => Result.Err(error)
});
// 辅助函数
const ok = Result.Ok;
const err = Result.Err;
这样我们就构建了一个具备函子和单子行为的Either-like类型。
模式匹配与安全解构
由于缺少原生模式匹配，我们通过 tag dispatching 模拟：
const handleResult = (result) => {if (result.type === 'Ok') {
console.log('成功:', result.value);
} else if (result.type === 'Err') {
console.error('错误:', result.error);
}
};
更函数化的方式是提供 match 方法：
type: 'Ok',
value,
match: ({ Ok, Err }) => Ok(value)
});
Result.Err = (error) => ({
type: 'Err',
error,
match: ({ Ok, Err }) => Err(error)
});
// 使用
result.match({
Ok: v => console.log(v),
Err: e => console.log('出错了:', e)
});
这种方式接近真正的模式匹配，也避免了手动检查 type 字段。
实际应用场景
ADT特别适合处理可能失败的操作、状态建模或解析逻辑。
例如，描述网络请求状态：
const Loading = () => ({ type: 'Loading' });const Loaded = (data) => ({ type: 'Loaded', data });
const Failed = (err) => ({ type: 'Failed', err });
组件可以根据 state.type 决定渲染内容，逻辑清晰且不易遗漏状态。
基本上就这些。JavaScript虽无内建ADT，但通过工厂函数、标签联合与高阶抽象，完全可以写出类型安全、可组合的函数式代码。关键在于约束构造方式，并统一消费接口。不复杂但容易忽略。
