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?

We should forget about small deficiencies, say about 97% of the time: premature ejaculation is the root of all evil.