請解釋歷史幺節在更簡單的條款

Question

我試圖讀取歷史monoid，但無法包裹我的頭。有人可以用簡單的語言來解釋嗎？

謝謝

參考：http://en.wikipedia.org/wiki/History_monoid

Answer 1

歷史幺是集線程原始的行動可能序列，考慮到其同時出現在一個多線程的帳戶同步原語。

其實它不只是一個集合，而是一個monoid，這意味着您可以連接序列以獲得monoid中的新序列，並且存在中性元素，即空序列。