F# Agent.PostAndReply vs Agent.PostAndAsyncReply

Question

我编写了以下两个函数：

let requestAsync qry = dispatcher.PostAndAsyncReply (fun chan -> Query (qry chan))
let request qry = qry |> requestAsync |> Async.RunSynchronously

现在我在想，我是否会有任何动力来编写这样的请求：

let request qry = dispatcher.PostAndReply (fun chan -> Query(qry chan))

我无法对这两个实现进行反编译，因此，我不知道第二个实现是否会更高效。

Answer 1

代码在

https://github.com/fsharp/fsharp/blob/master/src/fsharp/FSharp.Core/control.fs

虽然不是很明显。我不认为有太大的区别；我会调用PostAndReply，但它们做的是大致相同的事情，我不希望有显著的区别。(一如既往，如果您非常关心，那么请针对您的确切场景进行度量。)