Conversão de tipos
Em ciência da computação, conversão de tipos ou coerção são diferentes formas de, implícita ou explicitamente, alterar uma entidade de um tipo de dados em outro. Isto é feito para tirar proveito de certos recursos de hierarquias de tipos ou representações de tipos. Um exemplo seriam inteiros pequenos, que podem ser armazenados em um formato compacto e convertidos e uma representação maior quando usados em cálculos aritméticos. Em programação orientada a objetos, a conversão de tipos permite que programas manipulem objetos de um tipo como um de seus tipos predecessores para simplificar a interação com eles.
Conversão de tipo implícita
A conversão de tipo implícita, também conhecida como coerção, é uma conversão de tipo automática pelo compilador. Algumas linguagens permitem que os compiladores forneçam coerção, outras a requerem. Em uma expressão de tipo misto, os dados de um ou mais subtipos podem ser convertidos para um super-tipo quando necessário em tempo de execução, de forma que o programa seja executado corretamente. Por exemplo, a seguir está um código legal da linguagem C:
