09 · 函数式与高阶函数

函数是一等公民#

JS 里函数可以像值一样：赋值、传参、返回。基于这个特性衍生出高阶函数（接收或返回函数的函数）和纯函数（相同输入永远相同输出、无副作用）。

数组三件套#

1
const nums = [1, 2, 3, 4, 5];
2
const result = nums
3
  .filter(n => n % 2 === 1)   // [1,3,5]
4
  .map(n => n * n)            // [1,9,25]
5
  .reduce((sum, n) => sum + n, 0); // 35

map/filter/reduce 不修改原数组（纯），链式表达数据流转，比 for 循环更声明式、更易读。

柯里化#

把多参函数转成”每次吃一个参数”的链式函数：

1
const add = a => b => a + b;
2
add(2)(3); // 5
3
// 实战：预置配置
4
const log = prefix => msg => console.log(`[${prefix}] ${msg}`);
5
const logError = log("ERROR");
6
logError("fail"); // [ERROR] fail

函数组合#

把小函数拼成处理管道：

1
const compose = (...fns) => x => fns.reduceRight((v, fn) => fn(v), x);
2
const trim = s => s.trim();
3
const upper = s => s.toUpperCase();
4
const process = compose(upper, trim);
5
process("  hi  "); // "HI"

为什么函数式好#

纯函数可测：不依赖外部状态，给定输入断言输出即可。
无副作用：并发、缓存、推理都更安全。
声明式：关注”做什么”而非”怎么做”。

现实里不必极端函数式，但多用 map/filter/reduce、少改原数据，代码质量立竿见影。

小结#

函数是一等公民 → 高阶函数是基础。
map/filter/reduce 链式处理数组，声明式且纯。
柯里化做参数预置，组合做管道。
纯函数提升可测试性与可维护性。

练习#

用 reduce 实现 map 和 filter（即 myMap/myFilter）。
写一个 curry(fn) 把普通多参函数转成柯里化版本。
把一段”先过滤空值、再转数字、再求和”的命令式代码改成 reduce 链式。