Há alguma linguagem de programação orientada a objetos que não seja baseada no paradigma de classe?
Até onde eu sei, Self é o idioma original que inventou o paradigma "livre de classes" baseado nos protótipos . Já existia (em um estágio experimental) na década de 1980 e empurra o uso elegante do Smalltalk do prototype pattern ao extremo, de modo que as classes sejam completamente eliminadas.
Isso influenciou todas as outras linguagens OO "sem classes" que eu conheço:
Idiomas como o JavaScript são baseados em protótipos , onde o comportamento é reutilizado pela clonagem de objetos existentes. O artigo da Wikipedia ao qual eu associei indica que Lua, ActionScript e várias outras linguagens seguem esse paradigma.
A orientação a objetos é um termo abrangente para vários conceitos importantes que são apenas parcialmente contingentes entre si. Por exemplo, a herança pode ser declarada caso a caso entre instâncias e não entre classes, ou a classe inteira pode ser representada por um objeto prototype concreto, como Thomas escreveu. É mais comum separar a descrição da estrutura da criação da instância. Da mesma forma, ligação tardia significa que objetos com o mesmo método nominal não necessariamente fazem a mesma coisa quando são invocados, e que a decisão é tomada em tempo de execução. Isso é igualmente possível com a abordagem baseada em protótipos. E o encapsulamento é essencialmente independente de seus objetos serem instâncias de classes declaradas ou não.
Dito isto, a maioria dos idiomas OO está firmemente no campo baseado em classes. Mas, mesmo assim, há idiomas que confundem a linha: o design orientado a domínio geralmente leva a sistemas em que a identidade de objetos particulares é muito mais importante do que o diagrama de classes estático, e decoradores permitem que objetos da mesma classe ou interface tenham muito comportamento diferente.
Fortaleza é uma linguagem orientada a objetos baseada em características em vez de classes. A diferença está principalmente na composição da implementação. O comportamento de um objeto (definições de método) ainda é determinado pelas declarações em um ponto específico no texto do programa. Então, nesse sentido, é semelhante aos sistemas baseados em classes.
Existem cálculos de objetos (por Cardelli, eu acho), que são puramente baseados em objetos. Todo método é um membro da instância. Você forma novos objetos pegando o conteúdo de um objeto existente e adicionando, removendo ou substituindo alguns de seus membros. É um pouco diferente dos protótipos, já que o novo objeto não tem link para o objeto antigo, apenas alguns de seus conteúdos.
IIRC, é possível programar de maneira semelhante usando Python e outras linguagens orientadas por hashtable: você pode adicionar uma função como um membro de instância e chamá-la como um método.
record ) e outras coisas dentro do pacote. Não é "livre de classes" da mesma forma que algumas das outras linguagens mencionadas, é apenas uma maneira ligeiramente diferente de organizar as coisas.
Os recursos orientados a objeto do Ada 95 foram adicionados à versão existente em 1983 da linguagem; ele estendeu as construções de registros e pacotes existentes para suportar herança et al.
Io é outra linguagem orientada a objetos baseada em protótipos. Na verdade, inspira-se em várias das linguagens já mencionadas em outras respostas.
Io is a dynamic prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk (all values are objects), Self (prototype-based), NewtonScript (differential inheritance), Act1 (actors and futures for concurrency), Lisp (code is a runtime inspectable / modifiable tree) and Lua (small, embeddable).
Erlang. E sim, Erlang é uma linguagem orientada a objetos, pois cumpre todos os três pontos da definição de OO.