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.

>>23
I think there was one, but it isn't maintained anymore.

Why do people want to port a functional language (or every other non-OO language) to a VM that is completely built around OOP anyway?