F＃：有人可以解釋我的編譯器錯誤嗎？

Question

任何人都知道這段代碼的問題是什麼？

let rec Foo(a,b) = 
    match a() with 
    | None -> Some(b) 
    | Some(c) -> Some(Foo(c,b)) 

這裏的編譯器錯誤：「類型不匹配期待‘一個，但給定一個‘一個選項統一‘’A’和'一個選項’時，得到的類型將是無限的」

Answer 1

讓我們嘗試重現編譯器如何嘗試在此處推斷類型。

let rec Foo(a,b) = 
    match a() with 
    | None -> Some(b) 
    | Some(c) -> Some(Foo(c,b)) 

「好了，我看到a()。a必須是一個函數從unit某種類型的，我不知道是哪一個呢。我把它叫做'a。」

a : unit -> 'a 

「的a()結果與None/Some圖案相匹配。因此'a必須是'b option和c具有類型'b」。 （同樣，'b代表未知的類型）。

a : unit -> 'b option 
с : 'b 

「沒有函數或方法被稱爲上b（除Some，不縮小類型下來，Foo，其中我們不知道迄今爲止的類型）。我將表示其鍵入'c「。

a : unit -> 'b option 
b : 'c 
c : 'b 

「Foo回報Some(b)的分支之一，因此，返回類型必須是'c option。「

Foo : (unit -> 'b option) * 'c -> 'c option 

」我完成了嗎？不，我需要檢查表達式中的所有類型是否有意義。讓我們看看，在Some(c)的情況下，返回Some(Foo(c,b))。所以Foo(c,b) : 'c。由於Foo返回option，我知道'c對於某些'd和b : 'd必須是'd option。等等，我已經有b : 'c，也就是b : 'd option。 'd和'd option必須是相同的類型，但這是不可能的！定義中必須有錯誤。我需要報告它。「所以它的確如此。」

Answer 2

您正在使用a()作爲Foo中第一個參數的選項，但最後一行c是一種類型，但您將其傳遞給遞歸調用。

這就是導致錯誤的原因。

你會想要c是一個選項類型。

Answer 3

它總是有助於逐步打破一切。如書面所示，Foo的類型爲：

val Foo : (unit -> 'a option) * 'b -> 'b option 

活動模式中的每個表達式必須評估爲相同類型。在你表達的第一個模式匹配的類型爲：

'b option 

因此，其他的模式也必須求'b option或'a option。你在這裏的方式，它返回'a option option。

這是一個奇特的功能，但您可以通過返回第二個模式匹配中的任何選項值來糾正編譯器錯誤。這裏是我能想到的唯一例子，看起來像上面那樣：

let Foo2(a,b) = 
    match a() with 
    | None -> Some(b) 
    | c -> c 

HTH。