功能包裝的麻煩：X <| fun() ->一個

Question

所以我只想問，爲什麼這個工程：

let internal X th = 
    foo() 
    th() 
    bar() 

let Start() = 
    X <| fun() -> (foo(); bar(); etc...) 

而且這不起作用：

let internal XD A = 
    let X th = 
     foo() 
     th() 
     bar() 
    (X <| fun() -> A) 

let Start() = 
    XD (foo(); bar(); etc...) 

它看起來像我也一樣，但第一個變體作爲包裝，我完全無法理解第二個變體是如何工作的。

Answer 1

以下是你想實現什麼（沒有lambda使用懶惰值）第二版的正確的代碼。

let internal XD (A:Lazy<unit>) = 
    let X th = 
     foo() 
     th() 
     bar() 
    X <| (fun() -> A.Force()) 

let Start() = 
    XD (lazy(foo(); bar();)) 

Answer 2

我想，令人困惑的是，在你的第二個版本中，變量A只是一個unit。 F＃編譯器從這樣的事實推斷出這一點，即您從用作th的函數返回A，並且th的類型爲unit -> unit。這意味着在步入XD之前在Start中被調用。

但是，要分辨出您期望的結果有點困難。您是否想將foo作爲函數傳遞給XD，而不是立即調用它？如果是的話，那麼你需要：

let internal XD A = 
    let X th = 
     foo() 
     th() 
     bar() 
    (X <| fun() -> A()) // Change: Call A with unit argument: 'A()' 

XD foo // Change: Pass a function instead of calling it