使用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