0 tipos rigurosos, - fuertes
Característica de algunos lenguajes de programación que obligan a declarar el tipo de datos de cada objeto de forma explícita. Esta definición permite al compilador determinar si los objetos se manipulan de forma correcta.