f# - "id"字面量在哪里定义？

Question

FsUnit 源代码包含一个不寻常的定义:

让 = id

FSI 输出:

val 是 : ('a -> 'a)

“id”的语义是以下语句的括号形式:

让 x = x

FSI 输出:

值是:'a->'a

您可以看到细微的差别:后一个示例替换了表达式 是真的与 真实 , 而第一个语法将其表示为 (真) .

令我困惑的是，我在 F# 语言引用中找不到任何对“id”的引用，在“Programming F#”一书中也没有描述。此外，“id”不是保留关键字，我可以定义将“id”分配给其他东西，然后我不再可以以第一个示例中所示的方式使用它。所以我想知道是否有任何 F# 文档描述了这种文字及其语义。

Answer 1

这些内置函数中的大部分都在 FSharp.Core 中定义。图书馆, Microsoft.FSharp.Core.Operators模块。

它们记录在 MSDN 上。这里是 id : http://msdn.microsoft.com/en-gb/library/ee353607.aspx