F# 规范符号运算符 VS 符号关键字

Question

我正在阅读 F# 规范 - 我能找到的最新规范 here - 努力以可以说是艰难的方式学习语言。在“3.6 符号关键字”部分，规范指出:

The following symbolic or partially symbolic character sequences are treated as keywords:

token symbolic-keyword =
    let! use! do! yield! return!
    | -> <- . : ( ) [ ] [< >] [| |] { }
    ' # :?> :? :> .. :: := ;; ; =
    _ ? ?? (*) <@ @> <@@ @@>

在下一节“3.7 符号运算符”中指出:

User-defined and library-defined symbolic operators are sequences of characters as shown below, except where the sequence of characters is a symbolic keyword (§3.6).

regexp first-op-char = !%&*+-./<=>@^|~
regexp op-char = first-op-char | ?
token quote-op-left =
    | <@ <@@
token quote-op-right =
    | @> @@>
token symbolic-op =
    | ?
    | ?<-
    | first-op-char op-char*
    | quote-op-left
    | quote-op-right

我可能遗漏了一些明显的东西，但在我看来，规范说明了运算符/关键字 ? , @> , @@> , <@ , 和 <@@既是符号关键字又是符号运算符。那么……他们是哪一个？我如何知道要使用符号关键字标记还是符号运算符标记？

提前致谢， 布兰登

编辑 明确地说，我想知道为什么规范在声明符号运算符不能是这些符号之后立即声明它们可以是这些符号。

Answer 1

有助于回答这个问题的概念是keyword .关键字是 reserved word .还要检查你的龙书。

保留字基本上是程序员不能用作标识符的字，在这种情况下是一个字，例如 if，或者一个运算符，例如 ->。换句话说，如果您尝试使用“let (if) =”或“let (->) =”，您将得到一个错误，因为您使用的是保留字.

对于此问题，将第 3.6 节解释为，这些是保留供 F# 使用的关键字。作为第 3.7 节，您可以创建自己的运算符，只要它们遵循这些规则并且与第 3.6 节中的保留关键字之一不同即可。

所以如果你想创建运算符-->你可以，但你不能创建运算符->

回答您的问题“那么……他们是哪一个？”它们是关键字，它们是系统定义的运算符，不能用作用户定义的运算符。

编辑

让我们从不同的方向来看这个。所有词法分析器规则都由解析器规则调用。很容易找到 symbolic-op 规则的用途，即 op-name，但是寻找 symbolic-keyword，你会发现“比如 34.. 被后过滤为两个标记:一个 int 和一个 symbolic-keyword，—— ……”有帮助，但它没有回答你的问题，现在你想知道为什么有一个词法分析器规则没有被解析器规则调用。我不知道，这是规范而不是正式的语法定义。如果你看一下 F# source您可能会发现规范和语法与您希望的不匹配。换句话说，该规范旨在帮助您理解该语言，我不会将其用作构建编译器的明确规则集。

用术语或汽车来表示规范，规范会告诉您对汽车的期望、汽车的功能或参数的限制，但不会告诉您如何制造汽车。

如果我正在编写一个编译器，我会将 34.. 的情况解释为，不要在第一次通过时为符号关键字创建标记，而是使用后处理将它们过滤成适当的标记。换句话说，在第二遍中重写 token 流。如果是我，我会在使用它构建编译器之前验证规范是否是完整的语法。但是，如果您想继续，那么我可能会跳过在第一次通过时寻找符号关键字，并在第一次通过创建 token 流后使用流重写。

如果您想了解有关 F# 中标记过滤的更多信息，请参阅规范的第 15 节“词法过滤”；它给出了如何通过重写 token 流将轻语法转换为常规语法的下降解释。