Yeah that's what I meant, a lightweight threading mechanism provided by the OS.
> there's probably not much reason to add them when user space lightweight concurrency mechanisms already exist
Yeah... I don't think there's consensus on that. It seems that many people find OS threads to be an understandable concurrency model, but find them too heavyweight. So the languages end up introducing other abstractions at either the type-level (which has other benefits mind you!) or runtime to compensate.
Yeah that's what I meant, a lightweight threading mechanism provided by the OS.
> there's probably not much reason to add them when user space lightweight concurrency mechanisms already exist
Yeah... I don't think there's consensus on that. It seems that many people find OS threads to be an understandable concurrency model, but find them too heavyweight. So the languages end up introducing other abstractions at either the type-level (which has other benefits mind you!) or runtime to compensate.