Well, I was tempted to mention Haskell. Problem is, I haven't found a practical use for it. Of all the FP languages, this is actually the one I am most tempted by.
I had forgotten about Rust. Are there major projects being used for this yet? I've heard it's picking up quite a bit.
Depends on how you define "major". Dropbox is currently running Rust in production, at the core of their product. Has been for about six weeks now. That's probably the largest, most serious use. There are also tiny bits in Firefox, that will be included starting with the next release.
There's a lot of other usage too, it all depends on how you define "major".
I had forgotten about Rust. Are there major projects being used for this yet? I've heard it's picking up quite a bit.