JavaScript函数式编程_代数数据类型-js教程-PHP中文网

JavaScript函数式编程_代数数据类型

夜晨

发布： 2025-11-21 16:40:43

原创

752人浏览过

代数数据类型由和类型与积类型构成，JavaScript可通过标签联合与工厂函数模拟ADT，如用Result.Ok/Err实现Either模式，结合match方法进行安全解构，适用于表单验证、网络状态建模等场景，提升代码可维护性与类型安全性。

javascript函数式编程_代数数据类型

在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：

WiseHome家政预约小程序

家政服务平台系统包含家用电器安装清洗、搬家、家电维修、管道疏通、月嫂保姆、育儿陪护、上门开锁等多种服务项目，用户可以直接通过家政小程序咨询，在线预约服务类型，同时还设置有知识科普，给用户科普一些清洁保养小技巧，让用户能够足不出户就可以直接预约服务，方便又快捷。本项目使用微信小程序平台进行开发。使用腾讯专门的小程序云开发技术，云资源包含云函数，数据库，带宽，存储空间，定时器等，资源配额价格低廉，无需

查看详情

这样我们就构建了一个具备函子和单子行为的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 方法：

Result.Ok = (value) => ({
  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 字段。