tl;dr matematicamente sim; na prática, um ou outro paradigma torna algumas construções sem sentido
Orientação a objetos é um paradigmaramo matemático de tratar entidades matemáticas que tenham atributos e comportamentos. Esse conceito, depois de muito bem estabelecido na matemática, foi absorvido nas linguagens de programação. Nesse sentido, a orientação a objetos é a mesma em todas as linguagens.
Em compensação, há alternativas de como se é feito isso. Existem linguagens não tipadas, linguagens com tipagem dinâmica e linguagens com tipagem de pato. Linguagens com tipagem de pato, por exemplo, podem dispensar o uso de interfaces. Leve em consideração também que a tipagem estática ajuda o programador a perceber que há um erro em seu código no momento da compilação (análise estática do código).
Também há diferenças de implementação que são bem relevantes. Em C++, para se usar o polimorfismo, é necessário declarar que o método é virtual
, já em Java todo método não privado é considerado virtual
.
Eu falo mais sobre interfaces e objetos nessa outra resposta, com direito a um foco especial ao Java no final da resposta. Focando aqui no primeiro item da lista da resposta acima linkada:
interfaces são promessas de comportamento
Em linguagens com tipagem de pato, se eu tenho um objeto com acesso a método pop
, peek
e push
então eu tenho um comportamento de deque
; não preciso dizer isso para esse objeto, ele simplesmente tem esse comportamento, não preciso dizer que ele promete isso a priori.
Em algumas linguagens eu posso dinamicamente atribuir no os métodos a objetos já existentes, fazendo assim com que um objeto passe a cumprir uma promessa de comportamento em run time. Essa inserção dinâmica de métodos é normalmente associado com tipagem de pato.