En informatique la conversion de type est le fait de convertir une valeur d'un type (source) dans un autre (cible). On parle aussi de cœrcition ou de cast. On distingue trois types de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible :

• la conversion entre types incomparables,
• la cœrcition ascendante,
• la cœrcition descendante.