type1 -> type2 -> type3和type1 -> (type2 -> type3)有什么区别？

Question

为什么

let f1 a b = a + b

和

let f2 a = fun b -> a + b 

两者都产生类型为a:int -> b:int -> int的值，

但

let f3 a =
   let f = 
     fun b -> a + b 
   f

和

let f4 a =
   let f b = a + b
   f

都会产生类型为a:int -> (int -> int)的值？

int -> int周围的大括号是什么意思？是否存在这两种类型在程序中做不同事情的情况？

Answer 1

AFAIK没有区别，type1 -> type2 -> type3只是type1 -> (type2 -> type3)的语法糖

https://fsharpforfunandprofit.com/posts/currying/

答案很简单:一个具有多个参数的函数被重写为一系列新函数，每个新函数只有一个参数。这是由编译器自动为您完成的。

Answer 2

正如mclark1129所说，没有区别；您可以将其理解为具有两个参数的函数或具有单个参数的两个函数-此处的括号表示一个函数，因为如果只提供第一个参数(type1)，该函数将返回一个接受type2并返回type3的函数。

汇聚和部分应用是函数式编程的基础，也是代数数据结构的基础，在代数数据结构中，汇聚/部分应用多变量函数到单参数函数是常态。