Und noch eine interessante Programmiersprache: Scala. Statisch getypt, aber mit Type Inference und "alles ist ein Objekt" (also gehen auch Funktionen höherer Ordnung), Operator Overloading, Mixins a la Ruby, Currying, Sequence Comprehensions (äquivalent zu List Comprehensions in Python), Generische Klassen (wie Generics in Java) und was weiß ich noch alles. Sieht extrem interessant aus, vor Allem vor dem Hintergrund, dass sich das Zeug zu Java-Bytecode kompilieren läßt und auch selbst Javaklassen benutzen kann.

Aber bestimmt ist das wieder viel zu cool, um akademische Kreise zu verlassen.