I was reading Lisp the Underdog, and I came across the post about Rust. It seems like safe, concurrent and GC'd systems languages are all the rage these days. What do you guys think? Is this the future? Do you want verification and all that, or do you just want C and friends? How do you deal with concurrency? How would you like to deal with concurrency?
"A work-in-progress programming language; not yet suitable for users."
As far as the other crap. My take is that nothing which can done completely and accurately by a compiler should need to be done by a user.
No programmer should ever have to deal with concurrency in the same way no programmer should have to deal with branch prediction. You can write a program with branch predictors in mind and try to make the if statements have easily detectable patterns, you can also write a program with concurrency in mind by choosing better algorithms, among other things. To say a programmer should have to write their own software branch predictor which will indicate to the CPU how to branch is laughable by any means; yet this is the state of concurrency today.