F# 标识符、模块、类型和成员名称中允许使用哪些字符？

Question

这个问题是关于标识符中的字符，而不是keywords as identifiers。

我找到了this question on C# names，但在 F# 上找不到相同的内容。通常这几乎无关紧要，但在我的测试命名中，我经常使用点 . 并且很惊讶它在模块名称中不受支持，但在 let-binding 中受支持：

// fails:
module ``Run Test.Me functions`` = 
    [<Test>]
    let ``X.Add should add``() = test <@ X.Add 2 2 = 4 @>

// Succeeds
module ``Run Test-Me functions`` 
    [<Test>]
    let ``X.Add should add``() = test <@ X.Add 2 2 = 4 @>

在命名测试之外，我看不出它有多大用处，但它让我想知道：类型和模块名称支持哪些字符，成员名称和 let 绑定支持哪些字符？

一些测试：

module ``Weird.name`` = ()  // fails
module ``Weird-name`` = ()  // succeeds
module ``Weird()name`` = () // succeeds (?)
module ``Weird*name`` = ()  // fails
module ``Weird+name`` = ()  // fails
module ``Weird%name`` = ()  // succeeds (?)
module ``Weird/name`` = ()  // fails
module ``Weird\\name`` = () // fails

所有这些名称都在 let-binding 或成员名称中成功，但不是作为类型名称或模块名称。至少这是一致的。但是我在允许和不允许的内容中找不到任何行或逻辑

也许限制是由 CLR/MSIL 而不是 F# 本身施加的？

Answer 1

看看F# Language Specification 4.0 - 在3.4 Identifiers and Keywords 部分。

请注意，当标识符用于类型名称时，联合 类型大小写、模块或命名空间，以下字符不是 即使在双反引号内也允许：
.、+、$、&、[、]、/、\\、@9876543345@、@9876 , `

除此列表外，@（at-sign）可以使用任何名称，但会引发警告：

警告 FS1104：包含“@”的标识符保留用于 F# 代码生成

尽我所能：

可以在 F# 编译器中找到名称为 IllegalCharactersInTypeAndNamespaceNames 的字符列表。

由于这是用于生成 IL，因此导致 ECMA-335 - Common Language Infrastructure (CLI) Partitions I to VI 内容为：

II.5.3 标识符 - 标识符用于命名实体。简单的 标识符等同于 ID。但是，ILAsm 语法允许 使用可以使用 Unicode 形成的任何标识符 字符集（见分区 I）。为此，标识符应 放在单引号内。

ID 是一个以
开头的连续字符串 字母字符（A–Z、a–z）
或_、$、@、`（重音）或?之一，
后跟任意数量的
字母数字字符（A–Z、a–z、0–9）
或字符_、$、@、`（重音）和?