Warum ist "do" in einer Funktion erlaubt?

Question

bemerkte ich, dass der folgende Code kompiliert und arbeitet in VS 2013:

let f() = 
    do Console.WriteLine(41) 
    42 

Aber wenn bei der F # 3.0-Spezifikation suchen kann ich keine Erwähnung von do finden auf diese Weise verwendet wird. Soweit ich das beurteilen kann, do folgende Verwendungen haben:

• Als Teil der Schleife (z while expr do expr done), das ist hier nicht der Fall.

• Innerhalb Berechnung Ausdrücke, z.B .:

  seq { 
      for i in 1..2 do 
      do Console.WriteLine(i) 
      yield i * 2 
  } 
  

  dass hier entweder nicht der Fall ist, f keine Rechenausdrücke enthält.

  Obwohl was verwirrt mich hier ist, dass nach der Spezifikation sollte do von in folgen. Die Option in sollte aufgrund der Lightweight-Syntax optional sein. Wenn Sie sie jedoch hier hinzufügen, wird ein Kompilierungsfehler verursacht ("Unerwartetes Token" in "oder unvollständiger Ausdruck").

• Anweisung in einem Modul oder einer Klasse. Dies ist auch hier nicht der Fall, der do ist innerhalb einer Funktion, nicht innerhalb eines Moduls oder einer Klasse.

Ich habe auch bemerkt, dass mit #light "off", wird der Code nicht kompilieren („Unexpected Schlüsselwort‚do‘in binding“), aber ich habe nichts gefunden, die entweder das im Abschnitt über die leichte Syntax erklären würden, .

Basierend auf all dies würde ich davon ausgehen, dass die Verwendung do innerhalb einer Funktion auf diese Weise nicht kompilieren sollte, aber es tut. Habe ich etwas in der Spezifikation vermisst? Oder ist das eigentlich ein Fehler im Compiler oder in der Spezifikation?

Answer 1

Vom documentation on MSDN:

A do Bindung verwendet wird, Code auszuführen, ohne eine Funktion oder der Wert definiert wird.

Auch wenn die Spezifikation nicht eine umfassende Liste der Orte, enthält es erlaubt ist, ist es nur ein Ausdruck des Typs unit sein behauptet. Einige Beispiele:

if ((do()); true) then() 
let x: unit = do() 

Es wird im Allgemeinen verzichtet. Jedes der vorhergehenden Beispiele ist gültig ohne do. Daher dient do nur dazu assert, dass ein Ausdruck vom Typ unit ist.

Answer 2

Wenn man durch den Ausdruck F# 3.0 specification Syntax hat do expr als eine Wahl von class-function-or-value-defn (Typen) [Ch 8, A.2.5] und module-function-or-value-defn (Module) [Ch 10, A.2.1.1].

Ich sehe nicht in der Spezifikation, wo function-defn mehr als einen Ausdruck haben kann, solange alle bis auf die letzte unit auswerten - oder dass alle außer dem letzten Ausdruck ignoriert wird bei der Bestimmung der Funktionen Rückgabewert.

Es scheint also, dies ist ein Versehen in der Dokumentation.