這個類型定義中的「單元」是什麼意思？

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文檔中不理解什麼。這對我來說似乎是可以理解的。