在这样的类型定义中'unit'是什么意思？

Question

type waiter =
    { w_wait : unit Lwt.t;
      w_waker: unit Lwt.u option;
      mutable w_did_wait : bool }

我不明白为什么在w_wait和w_waker中有"unit"

Answer 1

根据Lwt的文档，类型'a Lwt.t是"返回类型'a.结果的线程的类型"，所以你的w_wait是一个合作线程返回单元(即只有副作用)。同样，'a Lwt.u是"类型的线程唤醒程序"。

我不明白你在Lwt文档中不理解的东西。