Последнее время натыкаюсь на утверждения якобы в некоторых языках(Haskell, Rust, Go, D, Erlang) хорошая реализация многопоточности/параллелизма. И что там чуть ли не исключена возможность data race и тому подобное.
К примеру для меня стало неожиданостью того что в D оказывается данные между потоками надо расшаривать.
Времени на изучения всех особенностей этих языков нету, а вот сжатую информацию про архитектурные достижения этих языков хотелось бы почитать.