Con años de lenguajes de programación usando los tipos implícitos, sólo se entendía que lenguajes "modernos" como Java o C# obligaran a declarar el tipo de las variables con el motivo de evitar errores de desarrollador en tiempo de programación. Lo cierto es que, en la práctica, en estos lenguajes fuertemente tipificados es necesario el uso regular del moldeado de tipo debido al polimorfismo y el alto grado de ramificación en la herencia de clases.