Tipagem
Em diversas linguagens de programação, toda variável declarada deve ter um tipo, uma palavra reservada que indica o formato do dado a que se referencia. Caracter e número em ponto flutuante são exemplos de formatos.
Em outras linguagens não existe esta restrição, embora isto possa trazer uma perda natural de performance em fase de compilação.
Em linguagens orientadas a objetos, o conceito de tipo pode se misturar com o conceito de classe. Uma classe é o tipo de uma instância.
Como existem linguagens tipadas e não tipadas, costuma-se fazer a seguinte distinção - toda instância possui um tipo, mas uma variável que a referencia pode não possuir.
C++ e Java são tipadas. Smalltalk não é.
Aula produzida por Leonardo Mendes Simão, Rafael de O. Valle dos Santos e Rafael Sabbagh Armony