SML中的互斥锁/锁/信号量

Question

SML是否有互斥锁/锁/信号量/ etc库？我无法在文档中找到任何一个。我甚至无法在任何地方找到多线程库。它存在吗？

Answer 1

标准中没有任何内容。但是，如果您使用的是SML / NJ或MLton，那么它们都提供Concurrent ML，这是一个具有一流同步事件的高级并发库。 Poly / ML也有自己的Thread模块。