爲什麼在功能內允許「做」？

Question

我注意到下面的代碼編譯和VS 2013的工作原理：

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

但看F＃3.0規範時，我找不到任何do提及使用這種方式。據我所知，do可以有以下用途：

• 作爲環的一部分（例如while expr do expr done），這是不是這裏的情況。

• 內部計算表達式，例如：

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

  ，這裏不是這種情況要麼，f不含任何計算表達式。

  雖然這裏讓我困惑的是，根據規範，do應該跟着in。由於輕量級語法，in應該是可選的，但在此處添加它會導致編譯錯誤（「未預期的令牌」或「不完整的表達式」）。

• 聲明在模塊或類中。這裏也不是這種情況，do位於函數內部，不在模塊或類中。

我也注意到，與#light "off"，代碼不編譯（「意外的關鍵字結合‘做’」），但我沒有發現任何會在輕量級語法部分要麼解釋。

基於這一切，我假設在函數內部使用do這種方式不應該編譯，但它確實如此。我錯過了規範中的一些東西嗎？或者這實際上是編譯器或規範中的錯誤？

Answer 1

從documentation on MSDN：

甲do結合使用而不定義函數或值來執行代碼。

即使該規範沒有包含允許的地方的完整列表，但它僅僅是一個表達式，聲明爲unit類型。一些示例：

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

它通常被省略。前面的每個例子都是有效的，沒有do。因此，do僅服務於斷言表達式爲unit。

Answer 2

通過F# 3.0 specification表達式語法場地具有do expr作爲class-function-or-value-defn（類型）選擇[8章，A.2.5]和module-function-or-value-defn（模塊）[CH 10，A.2.1.1]。

我實際上並不在spec這裏function-defn可以有不止一個表達式看到，只要所有，但最後一個評估，以unit - 或者說所有，但在確定職能的最後一個表達式被忽略返回值。

所以，這似乎是文件中的疏忽。