f# - -> 在 F# 中是什么意思？

Question

我一直在尝试断断续续地进入 F# 一段时间，但我一直被推迟。为什么？

因为无论我尝试查看哪个“初学者”资源，我都会看到非常简单的示例，这些示例开始使用运算符 -> .

但是，我还没有找到对这个运算符的含义提供清晰简单的解释的地方。就好像它必须如此明显，以至于即使完成新手也不需要解释。

因此，我必须非常密集，或者可能是之前近 3 年的经验阻碍了我。

有人可以请解释它或指向一个真正可访问的资源来解释它吗？

Answer 1

'->' 不是运算符。它出现在 F# 语法中的多个位置，其含义取决于如何将其用作更大构造的一部分。

在类型内部，'->' 描述了人们在上面描述的函数类型。例如

let f : int -> int = ...

说 'f' 是一个函数，它接受一个 int 并返回一个 int。

在 lambda(“以 'fun' 关键字开头的东西”)中，'->' 是将参数与正文分开的语法。例如

fun x y -> x + y + 1

是一个表达式，它定义了一个具有给定实现的两个参数函数。

在“匹配”结构中，'->' 是将模式与在模式匹配时应运行的代码分开的语法。例如，在

match someList with
| [] -> 0
| h::t -> 1

每个'->'左边的东西是模式，右边的东西是如果左边的模式匹配会发生什么。

理解的困难可能源于错误的假设，即 '->' 是具有单一含义的“运算符”。一个类比可能是“。”在 C# 中，如果您以前从未见过任何代码，请尝试分析“.”。运算符基于查看“obj.Method”和“3.14”和“System.Collections”，您可能会很困惑，因为符号在不同的上下文中具有不同的含义。但是，一旦您对语言有足够的了解以识别这些上下文，事情就会变得清晰。