[ywei3410]

Thanks for the link; not sure how I missed that completely while going through the thread documentation.

I completely forgot about native modules completely...

I don't think I disagree with anything you've said; though I would add that the fact that not many things use threads means that it's self-fulfilling (for example I have a package in the works and it was _super_ unclear to me about what the semantics of how threads interacted with the existing processes and when you could guarantee certain things ran before others).

Yes, Racket's model is broadly as you've described (and soon ocaml will have a similar model I think?), and imo it works really well.