La seguridad de tipos es una característica del lenguaje en el que programas. Estos lenguajes también pueden describirse como:

• De tipado fuerte, frente a tipado débil.
• De tipado estático, si los tipos se comprueban durante la compilación.
• Hard typed / Soft typed: términos informales menos habituales.

Estos términos suelen utilizarse indistintamente, pero no siempre significan exactamente lo mismo. Por ejemplo, tipado dinámico frente a tipado estático se refiere a cuándo se comprueba el tipo, no a lo estricto que es el tipado.

Un lenguaje con seguridad de tipos impide mezclar valores de un tipo incorrecto. Esto ayuda a detectar errores pronto y mejora la fiabilidad.

Ejemplos:

Con seguridad de tipos — C#, Java, Rust

int x = "hello";  // compile-time error

Sin seguridad de tipos — JavaScript, Python

x = 5;
x = "now a string";  // allowed