f# - 函数类型参数标签重要吗

Question

我正在自学 F#。我的问题来 self 尝试解决“使用 F# 的函数式编程”一书中的练习 2.13，它要求我将函数 curry 定义为:

curry : ('a * 'b -> 'c) -> 'a -> 'b -> 'c

我目前的结果是

curry : f:('a * b' -> 'c) -> x:'a -> y:'b -> 'c

问题参数标签重要吗？我的解决方案是否正确，或者正确的解决方案没有标签 f:、x: 和 y:？

Answer 1

不，参数标签对于本练习的解决方案无关紧要，这就是它们被排除在预期解决方案之外的原因。定义为 let curry f x y = ... 的函数和定义为 let curry funcToCurry firstParam secondParam = ... 的函数都是有效的解决方案，只要它们确实如此正确的事情。在本练习中重要的是结果函数的形状(即它采用和返回的类型)，而不是您为其参数指定的名称。