F# 中的 -> 是什么? - C#

在 F# 中，-> 是函数类型标识符。它的作用类似于 C# 中的 Func 和 Action。

语法

-> 符号的语法如下：

argument-types -> return-type

其中：

• argument-types 是函数的参数类型，可以是单个类型或多个类型组成的元组类型。
• return-type 是函数的返回类型。

例如，以下函数类型表示一个接收两个 int 型参数并返回一个 string 类型的函数：

int * int -> string

还可以使用括号来明确参数类型的优先级，例如：

(int * string) -> bool

示例

以下是一个将两个整数相加的示例函数：

let add (a: int) (b: int): int =
    a + b

对应的函数类型为：

int -> int -> int

这意味着该函数接收一个整数作为参数，并返回一个函数，该函数接收另一个整数作为参数并返回整数。

因此，可以使用以下方式调用该函数：

let sum = add 1 2

其中，add 1 返回的是一个接收一个整数作为参数并返回整数的函数，再将其应用于参数 2，最终得到结果 3。

结论

-> 是 F# 中的函数类型标识符，用于表示函数的参数类型和返回类型。掌握函数类型可以让我们更好地理解 F# 的类型系统，从而更轻松地编写高质量的 F# 代码。