Wo ist "id" literal definiert?

Question

FsUnit Quellcode enthält eine ungewöhnliche Definition:

let be = id

FSI Ausgang:

val was : ('a -> 'a)

Die Semantik der "id" ist die geklammerten Form der folgenden Erklärung:

let be x = x

FSI-Ausgabe:

val be : 'a -> 'a

Sie können die kleinen Unterschied sehen: das letztere Beispiel ersetzt Ausdruck wahr sein mit wahr, während die erste Syntax als (true) darstellen würde.

Was mich verwirrt ist, dass ich keinen Verweis auf "ID" in F # Sprachreferenz finden kann, weder es ist in einem "Programmierung F #" Buch beschrieben. Außerdem ist "id" kein reserviertes Schlüsselwort, ich kann "id" für etwas anderes definieren, und dann kann ich es nicht mehr so ​​verwenden, wie es im ersten Beispiel gezeigt wird. Ich frage mich also, ob es irgendwelche F # -Dokumente gibt, die dieses Literal und seine Semantik beschreiben.

Answer 1

Die meisten dieser integrierten Funktionen sind in der Bibliothek FSharp.Core, Microsoft.FSharp.Core.Operators definiert.

Sie sind auf MSDN dokumentiert. Hier ist id: http://msdn.microsoft.com/en-gb/library/ee353607.aspx

Answer 2

Dies sieht überhaupt nicht wie ein Literal aus. Es sieht eher wie eine Funktion aus. Genauer gesagt, durch die Signatur und den Namen erraten, sieht es wie die Identitätsfunktion aus.