F# 中什么是柯里化？ [复制]

可能的重复：
函数式编程：柯里化

我正在这里阅读免费的 F# Wikibook：

http://en.wikibooks.org/wiki/F_Sharp_Programming

有一节解释了什么是偏函数。它说使用 F# 你可以部分使用一个函数，但我就是不明白发生了什么。请考虑以下示例代码片段：

#light
open System

let addTwoNumbers x y = x + y
let add5ToNumber = addTwoNumbers 5

Console.WriteLine(add5ToNumber 6)

输出是 11。但我没有遵循。我的函数“add 5 Number”没有ask对于一个参数，那么为什么我可以调用它并给它一个参数呢？

这些天我真的很喜欢学习 F#，一步一步！

基本上，F# 中的每个函数都有一个参数并返回一个值。该值可以是单位类型，由 () 指定，其概念与其他语言中的 void 类似。

当您的函数似乎具有多个参数时，F# 会将其视为多个函数，每个函数都有一个参数，然后对这些函数进行“柯里化”以得出您想要的结果。因此，在您的示例中，您有：

let addTwoNumbers x y = x + y

这实际上是两个不同的功能。一个需要x并创建一个新函数，该函数将增加x为新函数参数的值。新函数接受参数y并返回一个整数结果。

So, addTwoNumbers 5 6确实会返回 11。但是，addTwoNumbers 5在语法上也是有效的，并且会返回一个将 5 添加到其参数的函数。因此add5ToNumber 6已验证。