F＃奇怪類型的錯誤消息

Question

誰能告訴我什麼是以下錯誤消息在F＃是指：

Program.fs(1021,16): error FS0001: This expression was expected to have type 
    FSI_0051.ExprTree 
but here has type 
    FSI_0061.ExprTree 

這是執行以下功能的結果是：1021

let evaluate_tree tree = 
    let rec helper tree = 
     match tree with 
     | Value(x) -> Value(x) 
     | Node(l, op, r) -> evaluate (helper l) op (helper r) 
    get_float (helper tree) 

線是最後一個在上面的函數中行。此外，我聲明瞭以下功能和類型，evaluate_tree前：

type Operator = 
    | Plus 
    | Minus 
    | Mult 
    | Divide 

type ExprTree = 
    | Value of float 
    | Node of ExprTree * Operator * ExprTree 
    static member (-) (a, b) = 
     match (a, b) with 
     | (Value(x), Value(y)) -> Value(x - y) 
    static member (+) (a, b) = 
     match (a, b) with 
     | (Value(x), Value(y)) -> Value(x + y) 
    static member (/) (a, b) = 
     match (a, b) with 
     | (Value(x), Value(y)) -> Value(x/y) 
    static member (*) (a, b) = 
     match (a, b) with 
     | (Value(x), Value(y)) -> Value(x*y) 

注意，在下面的功能，當我沒加，說Node(_,_,_) -> 0.0（註釋）線，它給了上面的錯誤消息。然而，當我說那行，錯誤消息走了（我仍想知道錯誤消息的意思）：

let get_float value = 
    match value with 
    | Value(x) -> x 
    //| Node(_, _, _) -> 0.0 

let evaluate (value1 : ExprTree) operator (value2 : ExprTree) = 
    match operator with 
    | Plus -> value1 + value2 
    | Minus -> value1 - value2 
    | Mult -> value1*value2 
    | Divide -> value1/value2 

let evaluate_tree tree = 
    let rec helper tree = 
     match tree with 
     | Value(x) -> Value(x) 
     | Node(l, op, r) -> evaluate (helper l) op (helper r) 
    get_float (helper tree) 

如進一步的說明：evaluate_tree計算表達式樹。表達式樹包含ExprTree: Value and Node中定義的類型。我認爲這可能與我在get_float中提供的案例不同，因爲它是Node（我最終考慮了這個）。然而，get_float將永遠不會評估Node，而不是以我使用它的方式進行評估，除非樹錯了（即它將有一個運算符作爲葉節點）。

在此先感謝！

Answer 1

您的錯誤是由FSI中執行的每個評估實際創建一個動態組件FSI_XXXX引起的。因此，實際上，您用ExprTree定義的函數可能是指FSI_0051.ExprTree，而您稍後定義並使用ExprTree的函數現在指的是FSI_0061.ExprTree。

我通常會修正錯誤，只是再次使用ExprTree執行我所有函數的定義，現在有一個更新的FSI_0061.ExprTree，並且所有函數都應該可以工作。

您只需要注意，每個具有相同名稱的新評估將預先存在符號影子。另一方面，它們仍然是不同的符號，因此兩個名稱FSI_0051.ExprTree和FSI_0061.ExprTree。