3

我正在阅读 F# 规范——我能找到的最新的规范，在这里找到——以努力以可以说是困难的方式学习该语言。在“3.6 符号关键字”部分中，规范指出：

以下符号或部分符号字符序列被视为关键字：

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

在下一节“3.7 符号运算符”中，它指出：

用户定义和库定义的符号运算符是如下所示的字符序列，除非字符序列是符号关键字（第 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

我可能遗漏了一些明显的东西，但在我看来，规范声明运算符/关键字、、、、和?都是符号关键字和符号运算符。那么……他们是哪一个？我如何知道天气以使用符号关键字标记或符号运算符标记？@>@@><@<@@

在此先感谢，布兰登

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

4

1 回答 1

3

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

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

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

所以如果你想创建操作符-->你可以，但是你不能创建操作符->

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

编辑

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

将规范放在术语或汽车中，规范告诉您您对汽车的期望，汽车应该如何运行或参数的限制，它并没有告诉您如何制造汽车。

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

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

于 2012-03-24T12:27:01.020 回答