SML中的互斥/鎖定/信號燈

Question

SML是否有互斥鎖/鎖/信號/ etc庫？我無法在文檔中找到任何地方。我甚至無法在任何地方找到多線程庫。它存在嗎？

Answer 1

標準中沒有這樣的東西。但是，如果您使用的是SML/NJ或MLton，那麼它們都會提供Concurrent ML，這是一個具有一流同步事件的高級併發庫。 Poly/ML也有自己的Thread模塊。