Modern(?) systems languages.

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?

>>14
biology kind of limits how often you can release, and so you are just left with continuous customer disappointment at the end of the development cycle.