定义样式首选项

Question

F＃定义的首选样式是什么？

我正在学习的这本书经常使用以下风格：

let foo = fun x y -> 
    let aux1 = fun z -> z * 2 
        in aux1 x + 
    let aux2 = fun q -> q * 3 
        in aux2 y;;

另一方面，当我在网上查找信息时，最有可能遇到以下情况：

let foo (x: int) (y: int) =
    let aux1 (z:int) = z * 2
        in aux1 x +
    let aux2 (q: int) = q * 3
        in aux2 y;;

在指南上我没有找到关于它的参考。 这是一个超越“ 单纯的风格 ”的问题吗？ 这两种方法背后有效率影响吗？

您的经验表明了什么？

Answer 1

作为一般规则，F＃函数定义倾向于执行以下两种操作之一：

样式＃2很少见，我经常看到它的功能明确是模块API的一部分，并且///注释也提供了文档。 但是对于内部函数，通常使用无类型变体，因为F＃的类型推断效果很好。

另外，正如s952163在评论中指出的那样， in关键字几乎从未被使用过，因为#light风格使它变得不必要。 我期望看到您的示例代码以现代F＃样式编写如下：

let foo x y =
    let aux1 z = z * 2
    let aux2 q = q * 3
    (aux1 x) + (aux2 y)

不;; 必要的，除非你输入F＃Interactive控制台。 如果您正在使用VS Code + Ionide，并突出显示代码段并按Alt + Enter将它们发送到F＃Interactive，那么您不需要任何;; 隔离因为Ionide会自动添加它们。

Answer 2

我发现有证据表明，第一种风格，即使是今天的非传统风格，也与currying和匿名功能有着内在的联系。

Currying是F＃的一个强大特性，我记得，每个函数只能使用一个参数。 例如：

let add x y = x + y 
val add: int -> int -> int

签名被解释为add 是一个函数，它将两个整数作为输入并返回一个整数 。 当编译时间到来时，该函数被解释为：

let add2 = fun x -> fun y -> x + y
val add2: int -> int -> int

其中val add2: int -> int -> int在语义上等同于val add: (int -> (int -> int))

通过为add2提供一个参数，例如6 ，它返回fun y -> 6 + y ，这是另一个等待其参数的函数，而x被6替换。 Currying意味着每个参数实际上都返回一个单独的函数：这就是为什么当我们调用只有少数参数的函数时会返回另一个函数。

如果我正确地得到它，第二个例子中更常见的F＃语法， let add xy = x + y ，可以认为是上面显示的显式currying风格的语法糖。