News for hackers. Stuff that matters.
Re:Concurrent JavaScript: It can work by pizlonator on Thursday August 31, 2017 @10:22AM (#15140500)
Lol! You would not be successful as a scientist with this attitude.

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.

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.