使用CPS /部分應用程序的F＃執行順序

Question

為什么要先打印“ DIV / 0”，然后再打印“ 2”？

let printZero = printfn "DIV/0"
let printSuccess x = printfn "%d" x

let div ifZero success x y =
    if y = 0
    then ifZero
    else x / y |> success

let printDiv = div printZero printSuccess
printDiv 8 4
printDiv 10 0

Answer 1

printfn "DIV/0"將立即寫入控制台，返回unit 。 所以這行：

let printZero = printfn "DIV/0"

...將立即寫入DIV/0並將unit綁定到值printZero 。 稍后，當您使用y = 0調用div函數時，只需返回該值。

您想要的是printZero是一個功能。 由於該函數不需要任何值作為輸入，因此您也可以在此處使用unit （表示為() ）-因此您具有類型為unit -> unit的函數：

let printZero() = printfn "DIV/0"
let printSuccess x = printfn "%d" x

let div ifZero success x y =
    if y = 0
    then ifZero()
    else x / y |> success