Haskell

It's pretty much the ultimate programming language.

Functional. Used in the academia. Used in the real world (unlike Lisps). Fast. Scalable. Has lots and lots of libraries. Type inference. Type safety.

>>13
They could work well with some improvements to the garbage collector. There's nothing in the language design that prevents it, so it's just a GHC optimization that hasn't been implemented yet.