函數簽名中的F＃模式匹配

Question

爲什麼不能正常工作？

type RetryBuilder(max) = 
    member x.Return(a) = a    // Enable 'return' 
    member x.Delay(f) = f    // Gets wrapped body and returns it (as it is) 
             // so that the body is passed to 'Run' 
    member x.Zero() = failwith "Zero" // Support if .. then 
    member x.Run(f) =     // Gets function created by 'Delay' 
    let rec loop 0 (Some(ex)) = raise ex 
    let rec loop n maybeEx = try f() with ex -> loop (n-1) (Some(ex)) 
    loop max None 

let retry = RetryBuilder(4) 

它說'不完整的模式匹配這個表達式。例如，值'1'可能表示模式未涵蓋的情況'。

但爲什麼不能匹配下面的那個？如果我沒有記錯，Haskell會匹配，爲什麼不F＃？

Answer 1

您正在用Haskell語法編寫F＃代碼。你的代碼編譯的原因是F＃編譯器認爲有兩個loop函數，前者被後者遮蔽。很明顯，在第一個loop函數中，模式匹配失敗，第一個參數的任何整數與0不同，而第二個參數的None不同。

的聲明接近Haskell語法可能是：

let rec loop = function 
    | 0, Some ex -> raise ex 
    | n, maybeEx -> try f() with ex -> loop (n-1, Some ex) 
loop(max, None)