3.2.1 柯里化 (Currying)

文档摘要

3.2.1 柯里化 (Currying) 在函数式编程的精密宇宙里，柯里化（Currying）从来不是一句轻飘飘的“把多参数函数变成单参数函数”的教科书定义——它是一次对函数本质的重新解构，一次对调用契约的主动重写，更是一场在运行时悄然发生的、关于控制流与数据流分离的静默革命。你写下一个，编译器或解释器只看到三个形参；而柯里化后的，却在语法表层之下，完成了一次三次函数创建、两次闭包捕获、一次最终求值的完整生命周期。这不是语法糖，这是函数作为一等公民的庄严加冕礼。我们今天不谈哲学隐喻，不讲历史渊源，也不复述 Haskell 的经典范式。