3.1.2.1 函数签名（FUNCTION SIGNATURES）

3.1.2.1 函数签名（FUNCTION SIGNATURES）

 

在前面示例中，我们还有一部分尚未讨论，即，F# Interactive 的输出，它告诉我们声明了一个新值，和推导出的类型。因为，我们声明的是函数，函数类型写作 int-> int-> int。这个类型表示函数有两个整型参数（在最后箭头符号前有两个 int），返回的结果是整型（在最后箭头符号后的类型）。我们已经知道，F# 使用类型推断推导出类型，在这个示例中，F# 使用了数值计算的默认类型（整型）。在第五章，我们还会讨论函数类型，再解释为什么参数分隔符号与返回值的分隔符相同。