Re: "shifted their focus to proving the opposite –..data races under specific circumstances."
"But how many people use "Erlang, Rust, Go, Scala." ?"
Plenty. On the Scala front any JVM dev can be cranking out productive, high quality Scala in a couple of weeks.
And actually Java itself now has a reactive streams/actor model baked in as of JDK9, so can do much of the same as the other languages.
However believing that such models eliminate or even "sidestep" race conditions is silly.
Biting the hand that feeds IT
