Re:Concurrent JavaScript: It can work
by first_amendment on Thursday August 31, 2017 @01:23PM
(#15141960)
I made an argument. What's yours? You just made a statement of opinion without any justification.
Additionally your opinion is wrong, by simple counter example. Rust's type checker already has the ability to prevent data races: https://blog.rust-lang.org/2015/04/10/Fearless-Concurrency.h... This works today.
A type system is a proof. But the proof in the type system is not a proof that it’s better to use a type system than not. That’s an entirely separate question.
I think that type systems are good at some things. Concurrency isn’t one of them.