如何在 F# 中进行链式回调？

Question

在 C# 中，我使用 TcpListener/TcpClient 的异步版本，并且我通过回调方法链接这些版本，以便在回调完成时发布另一个 Accept/Read。这是一个示例（未经测试）：

    public void Start()
    {
        TcpListener listener = new TcpListener(IPAddress.Any, 3000);
        listener.Start();

        PostAccept(listener);
    }

    private void PostAccept(TcpListener listener)
    {
        listener.BeginAcceptTcpClient(AcceptCallback, listener);
    }

    private void AcceptCallback(IAsyncResult ar)
    {
        var listener = ar.AsyncState as TcpListener;

        if (listener == null)
        {
            return;
        }

        // get the TcpClient and begin a read chain in a similar manner

        PostAccept(listener);
    }

我的问题是如何在 F# 中建模类似的东西？我会使用 async 关键字吗？ BeginAcceptTcpClient、BeginRead 等之后的代码本质上是回调函数中将执行的代码吗？例如，这是否正确？

let accept(listener:TcpListener) = async {      
  let! client = listener.AsyncAcceptTcpClient()    
  // do something with the TcpClient such as beginning a Read chain
  accept(listener)
  return()
}    

上面的代码不起作用，因为没有定义accept，并且在技术上将其标记为递归是不正确的，因为它不是递归方法？

Answer 1

@kvb 的回答是正确且惯用的。

还想指出您可以使用（喘气）循环：

let accept(t:TcpListener) =
    let completed = ref false 
    async {
        while not(!completed) do 
            let! client = t.AsyncAcceptTcpClient()
            if client <> null then
                Blah(client)
            else
                completed := true
    }

（那是在我的浏览器中输入代码，希望它能编译）。这很好，因为您当然不能在 C# 代码中使用循环（它必须通过开始/结束回调跨越多个方法）。

Answer 2

我不确定您所说的“这不是一种递归方法”是什么意思；如果您从其自己的定义中引用一个函数，那么它是一个递归函数。我对 Sockets 类没有太多经验，但也许这些方面的东西是您正在寻找的？

let rec accept(t : TcpListener) =
  async {
    let! client = t.AsyncAcceptTcpClient()

    // do some stuff with client here

    do! accept(t)
  }