Aufgabe des Ticks (Apostroph) in F # Wertnamen?

8

Ich führe ein Lernprogramm zur Funktionszusammensetzung durch, und ich sehe weiterhin den ' Operator, der am Ende einer Wertdeklaration verwendet wird.

Ich weiß, dass es ein generisches Element bedeutet, wenn es einem Parameter vorangeht, aber was bedeutet es, wenn man es so sieht:

%Vor%

Das einzige, was ich sehen kann, ist, dass ' nur ein anderes Zeichen im Bezeichner ist. Ist das richtig? Wenn ich das gleiche Beispiel verwende, gibt myFunc einen nicht definierten Fehler, wo myFunc auflöst.

    
alc6379 15.05.2014, 21:22
quelle

2 Antworten

16

Ja, wie @Lee gezeigt hat, ist ' ein gültiger Bezeichner.

Obwohl der Zweck von ' am Ende von Bezeichnern generell ist, bedeutet dies, dass der Wert mit dem Wert ohne die Endung ' . Das ist entlehnt aus der Mathematik , F # ist eine funktionale Sprache, um etwas so zu bezeichnen prime ist, da A ausgesprochen wird aye wobei A ' aye-prime ist.

    
Josh Bowden 15.05.2014, 21:41
quelle
5

Ja, 'ist ein gültiges Identifizierungszeichen, obwohl es nicht das erste sein kann. Die Struktur der Bezeichner ist in der Spezifikation definiert:

3.4 Bezeichner und Schlüsselwörter

  

identext = ident-start-char ident-char *

     

ident-char = Buchstabe-Zeichen | Ziffernzeichen | Verbindungszeichen |   Kombinationszeichen | Formatierungszeichen | '| _

    
Lee 15.05.2014 21:30
quelle

Tags und Links