为什么SML中foldl的类型签名是柯里化管道形式而非元组参数形式？

SML的foldl采用多箭头的类型签名是*柯里化（Currying）*设计的结果，核心目的是提升函数复用的灵活性。

两种类型签名的本质差异 #

你设想的元组参数形式和实际的柯里化形式，代表了两种完全不同的参数传递逻辑：

• 你预期的类型：

  val it = fn : ('a * 'b -> 'b) * 'b * 'a list -> 'b
  

  代表这是一个单参数函数，唯一的入参是包含三个元素的元组，调用时必须一次性把折叠函数、初始值、待折叠列表打包成元组传入，语法为foldl (f, init, list)。
• 实际的类型：

  val it = fn : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
  

  是柯里化的多参数函数，参数是逐层接收的：
  • 接收第一个参数（折叠函数），返回一个新函数
  • 新函数接收第二个参数（初始累加值），再返回一个新函数
  • 最后这个函数接收第三个参数（待遍历列表），返回最终累加结果
    调用时不需要打包元组，直接写作foldl f init list即可。

你对foldl需要三个逻辑输入的理解是完全正确的，柯里化只是传递参数的一种实现方式，没有改变函数需要的输入数量。

采用柯里化设计的核心优势 #

• 支持部分应用（Partial Application）：可以只传入前N个参数，提前生成专用的折叠函数，避免重复传递固定参数。举个实际例子：如果业务中经常需要对整数列表做累加求和，你只需要定义一次val sum = foldl (op +) 0，后续所有求和场景直接调用sum [1,2,3,4]就能得到结果，不需要每次都重复传入加法函数和初始值0。如果是元组形式的foldl，每次调用都必须凑齐三个参数打包成元组，没法这么方便地复用逻辑。
• 符合函数式编程的编码习惯：高阶函数通常会把最稳定、复用性最高的参数放在参数列表最前面，方便通过部分应用生成专用函数。foldl把折叠函数放在第一位、初始值放在第二位、最常变化的待遍历列表放在最后，就是为了适配这种使用习惯。

内容的提问来源于stack exchange，提问作者Omar Shawky