TypeScript中的函数式编程：从A到Z

TypeScript中的函数式编程：从A到Z

函数式编程（FP）是一种将计算视为数学函数求值，并避免状态改变和可变数据的编程范式。TypeScript作为JavaScript的强类型扩展，为应用FP原则提供了极好的基础，使代码更可预测、可测试且更可靠。在本文中，我们将从基础到高级技术，全面解析TypeScript中FP的关键概念。

函数式编程的基本原则

在深入代码之前，理解FP所基于的基本原则非常重要。

纯函数（Pure Functions）

纯函数是指：

• 对于相同的参数，始终返回相同的结果（确定性）。
• 没有副作用（不修改外部变量、不输出到控制台、不发送请求）。

纯函数示例：

function add(a: number, b: number): number {  return a + b;}

// 始终可预测console.log(add(2, 3)); // 5console.log(add(2, 3)); // 5

非纯函数示例：

let counter = 0;function increment(): number {  return ++counter; // 副作用：修改外部变量}

不可变性（Immutability）

数据在创建后不应被修改。我们不是修改现有对象，而是创建其新副本并进行必要的更改。

interface User {  name: string;  age: number;}

const user: User = { name: "Alice", age: 30 };

// 不好（可变性）user.age = 31;

// 好（不可变性）const updatedUser: User = { ...user, age: 31 };

console.log(user); // { name: "Alice", age: 30 } - 原始对象未改变console.log(updatedUser); // { name: "Alice", age: 31 }

TypeScript中的组合与柯里化

函数组合是将多个简单函数组合起来创建更复杂函数的过程。柯里化（currying）是将一个接受多个参数的函数转换为一系列每个只接受一个参数的函数。

函数组合（Function Composition）

TypeScript中带类型实现的组合：

function compose<A, B, C>(f: (x: B) => C, g: (x: A) => B): (x: A) => C {  return (x: A) => f(g(x));}

const toUpperCase = (str: string): string => str.toUpperCase();const exclaim = (str: string): string => `${str}!`;

const shout = compose(exclaim, toUpperCase);console.log(shout("hello world")); // "HELLO WORLD!"

柯里化（Currying）

柯里化函数示例：

function multiply(a: number): (b: number) => number {  return (b: number) => a * b;}

const double = multiply(2);const triple = multiply(3);

console.log(double(5)); // 10console.log(triple(5)); // 15

柯里化使函数更灵活，更便于组合。

使用单子：Option 和 Result

单子是一种强大的模式，用于处理副作用和错误处理，同时不破坏函数的纯度。在TypeScript中，经常使用 Option（或 Maybe）和 Result（或 Either）单子。

Option（Maybe）单子

允许安全地处理可能为 null 或 undefined 的值。

type Option<T> = T | null;

function safeDivide(a: number, b: number): Option<number> {  return b === 0 ? null : a / b;}

function getValue(value: Option<number>): string {  if (value === null) {    return "错误：除以零";  }  return `结果：${value}`;}

console.log(getValue(safeDivide(10, 2)