5 ms·Indeed! For example, it is amazing how small Poly/ML is for a type-inferred multi-threaded language.by wyatwerp 7y agoIndeed! For example, it is amazing how small Poly/ML is for a type-inferred multi-threaded language.