我正在努力使用 F# 类型签名表示法。例如，假设您有一个折叠功能：
let rec Fold combine acc l =
...
可能有这种类型的签名：
('a -> 'b -> 'a) -> 'a -> list<'b> -> 'a
我会这样理解
具有三个参数的函数：
并返回一个'a。
但是对于我的穴居人大脑来说，将其表达为更有意义
('a, 'b -> 'a), 'a, list<'b> -> 'a
我确定参数用箭头分隔的方式与函数返回类型完全相同是有语义原因的，但不知何故我错过了它，到目前为止还没有在书籍/文章中找到明确的解释.每次我看到一个类型签名时，我都必须停下来花很多时间来理解它。我觉得我只是错过了使“解密”显而易见的那一小块拼图。
谁能赐教？
【问题讨论】：
标签： f#
我确定有语义上的原因 为什么参数用一个分隔 箭头的方式与 函数返回类型，但不知何故我 错过了，没有找到明确的 迄今为止在书籍/文章中的解释。
您阅读的第一个功能是正确的。对于即时解密，类型签名表示如下：
val functionName = inputType1 -> inputType2 -> ... -> inputTypeN -> returnType
通常，箭头符号表示函数是可咖喱的。
// val add4 : int -> int -> int -> int -> int
let add4 a b c d = a + b + c + d;;
// val f : (int -> int)
let f = add4 1 2 3 // returns (int -> int) waiting for last argument
因为函数是柯里化的，所以技术上可以这样写：
// val add4 : int -> int -> int -> int -> int
let add4 = (fun a -> (fun b -> (fun c -> (fun d -> a + b + c + d))));;
// val f : (int -> int)
let f = fun x -> add4 1 2 3 x
如果你仔细想想，add4 签名相当于这样：
val add4 : int -> (int -> (int -> (int -> int) ) )
我相信我们使用箭头表示法是因为它类似于上面显示的显式 curry 参数时的函数结构。
【讨论】：
签名以这种方式编写是因为所谓的Currying。描述你的函数的一种稍微更准确的方法是它接受一个（接受'a并从'b返回一个函数到'a的函数）并返回一个接受'a并返回一个函数从list<'b> 到'a 的函数。因此，类型签名可以重写为
('a -> 'b -> 'a) -> ('a -> (list<'b> -> 'a))
【讨论】：
您可以在 F# 中编写一个类似的函数，该函数的类型与您提议的类似（但在 F# 中，它将被写为 ('a * 'b -> 'a) * 'a * list<'b> -> 'a。但是，现有函数的优点是它很容易通过以下方式部分应用它只提供参数的前缀。例如：
let sum = List.fold (+) 0
使用你的定义，你必须写
let sum l = List.fold((fun (x,y) -> x + y), 0, l)
【讨论】：
原因是在函数式编程中，每个函数实际上只有一个参数。
假设您有一个名为 Sum as 的函数：
int -> int -> int
它需要 2 个 int 并返回 1 个 int。现在，如果您只通过传递一个 int 来调用此函数，您将不会得到任何编译器错误，而是返回值将是 int -> int 类型。所以你会看到这个箭头符号符合这种行为。这种行为称为柯里化。 签出：http://en.wikipedia.org/wiki/Currying
【讨论】：