Oh, wow, someone responded? I deleted that comment because i didn't feel it was sufficiently on-topic, but I had said:

>Ada 95 achieved this two decades go, ATS some time after. Rust is trying for a fourth goal, to be expressive and convenient to use, and a fifth goal, to be portable and available to everyone.

> Safe, concurrent, and fast just isn't enough.

Also, consider putting in a little more tension:

rust: functional stuff

Concurrent, safe and clever

still fast and easy.