And no native concurrency.
(I chose not to learn go because of it's lack of generics and exceptions. It seemed like a huge step backwards)
It's far from perfect but it does work (and has for a few years), and it helps you by requiring proof that actions are disjoint. There is work now on including Z3 which would work this much smarter.
https://nim-lang.org/docs/manual_experimental.html#parallel-...