Good to get an update on multicore. On the other side of the pond, parallel MLton [0] is making solid progress. And Poly/ML [1] has had pthreads for a while. [

Good to get an update on multicore. On the other side of the pond, parallel MLton [0] is making solid progress. And Poly/ML [1] has had pthreads for a while. [0] https://github.com/MPLLang/mpl https://github.com/MPLLang/mpl [1] https://www.polyml.org/documentation/Reference/Threads.html https://www.polyml.org/documentation/Reference/Threads.html