F＃比較報價

Question

以下輸出「假」

let e1 = <@@ let d = 1 in d+1 @@> 
let e2 = <@@ let d = 1 in d+1 @@> 

printfn "%A" (e1 = e2) 

的原因是無功節點由指針參考，而不是由結構相等比較。 是否已經實現了直觀比較報價的方式？

Answer 1

有很多原因，比較報價不「工作」默認：

• 語錄可以包含比較可以不定義其值（參考例如，如果您營造了一些.NET報價不支持比較的對象）。
• 報價包含有關源代碼中位置的信息 - 因此您的兩個報價不同，只是因爲它們位於不同的行中！
• 有一個問題，您是否想要將(fun x -> x)和(fun y -> y)視爲相同 - 在邏輯上它們是，但在語法上它們不是。

所以，如果你想檢查報價是否相等，你只需要實現自己的支票。像這樣爲你做的例子有基本情況的伎倆，但它並不能處理所有的情況：

open Microsoft.FSharp.Quotations 
open Microsoft.FSharp.Quotations.Patterns 

let rec equal = function 
    | Let(v1, ea1, eb1), Let(v2, ea2, eb2) -> 
     v1.Name = v2.Name && equal (ea1, ea2) && equal (eb1, eb2) 
    | Var(v1), Var(v2) -> v1.Name = v2.Name 
    | Lambda(v1, e1), Lambda(v2, e2) -> v1.Name = v2.Name && equal (e1, e2) 
    | Call(None, m1, es1), Call(None, m2, es2) -> 
     m1 = m2 && (List.zip es1 es2 |> List.forall equal) 
    | Value(v1), Value(v2) -> v1 = v2 
    | _ -> false