PolyML has a lot more "stuff" build in like threads, multiprocess, and sockets. If I were to use SML in anger I'd use PolyML. Sadly I've never had the need.

https://www.polyml.org/documentation/Reference/Basis.html