Smalltalk
Smalltalk é uma linguagem de programação Orientada a Objetos criada na década de 70 pelo Centro de Pesquisa de Palo Alto da Xerox (lugar onde, entre outras coisas, nasceram a Ethernet e a GUI).
Ela é totalmente baseada no conceito de orientação a objetos. Realmente é uma linguagem fantástica (tanto que Python 'adota' algumas de suas características).
Na minha opinião, o que falta em Smalltalk é uma implementação livre realmente de qualidade.
Para um pouco mais de história sobre Smalltalk eu sugiro uma visita neste site (em inglês).
É interessante salientar que Smalltalk não é apenas uma linguagem mas sim um ambiente composto por linguagem, browser, editor, depurador entre outras coisas. Atualmente existem diversas implementações que podem ser utilizadas sem custos. Uma é a Squeak, com interface meio lúdica e que poderia ter uma boa utilização no ambiente acadêmico e para apresentações (entre outros) e Smalltalk/X que teria um enfoque mais profissional (como o VisualWorks). Ambas rodam no Linux e Windows e possuem a mesma interface gráfica.