ocaml - 在这样的类型定义中，“单位”是什么意思？

Question

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

我不明白为什么在and中有“ unit” ？w_waitw_waker

Answer 1

根据Lwt 的文档，类型'a Lwt.t是“返回类型为 'a 的结果的线程类型。 ”，所以你w_wait是一个协作线程返回单元（即只有副作用）。同样'a Lwt.u 是“线程唤醒器的类型”。

我不明白你在 Lwt 文档中不了解的内容。这对我来说似乎很容易理解。