“单位”在这种类型定义中意味着什么？

Question

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

我不明白为什么unit和w_wait中有“w_waker”？

Answer 1

根据Lwt's doc类型'a Lwt.t是“类型的线程返回类型为'a。”的结果，因此您的w_wait是合作的线程返回单元（即仅具有副作用）。同样地，'a Lwt.u是“类型的线程唤醒者”。

我不明白您在Lwt文档中不理解的内容。这对我来说似乎是可以理解的。