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.

>>1

Functional.

Dysfunctional.

Used in the real world (unlike Lisps).

xmonad doesn't count as real world. Maxima does.

Fast.

Strings are linked lists of characters.

Scalable.

what >>2 said.

Has lots and lots of libraries.

So does Gweedo's Peython.

Type inference.

Because the language would be utterly unusable otherwise.

Type safety.

***Monadic stack pointer overflow.

Haskell is fucking shit.