El mecanismo de conversión simplemente generaliza las normas ad hoc de conversión (tal y como entre enteros -codice_15- y reales -codice_34-) que hay a la mayoría de los lenguajes de programación, haciéndole entonces aplicable a cualquier tipo siempre que se respecte este principio.