这个类型定义中的“单元”是什么意思？

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's doc类型'a Lwt.t是“返回类型。的”结果类型线程的”，所以你w_wait是（即，仅具有副作用）一个协作线程返回单元。同样'a Lwt.u是“类型的线程唤醒器”。

我不明白你在Lwt文档中不理解什么。这对我来说似乎是可以理解的。