# ¿Qué es Type Safety?

Es una regla de seguridad que evita que se utilice el tipo incorrecto de datos en el software y detecta errores al escribir código.

## Definición
En los lenguajes de programación, los datos tienen un "tipo"; Por ejemplo, no puedes agregar un número y un texto. La seguridad de tipos hace cumplir dichas reglas de tipos. Si comete un error, la computadora le avisará antes de ejecutar el código. Esta es una de las mayores protecciones que evita que el software falle.

## Cómo funciona
El sistema verifica constantemente su código mientras lo escribe. Si ingresa accidentalmente un número en un cuadro de texto, el programa lo notará inmediatamente y le dará un error que dice "solo puede escribir texto aquí".

## Dónde se usa
Se utiliza en lenguajes como Rust, TypeScript, Java y en proyectos de software a gran escala.

## Suele confundirse con
No es sólo un "mensaje de error"; Este es el principio de funcionamiento básico del propio lenguaje de programación.

## Preguntas frecuentes
**¿Por qué no todo el mundo lo usa?**
Algunos lenguajes no requieren esto por motivos de flexibilidad, pero definitivamente se prefiere para evitar cometer errores en proyectos grandes.


## Términos relacionados
- [Rust](/es/dictionary/rust/)
- [Type-safe](/es/dictionary/type-safe/)
- [Clean Code](/es/dictionary/clean-code/)

## Herramientas relacionadas
- [T3code](/es/discover/t3code/)

---
Fuente: TreScout Glosario · https://trescout.com/es/dictionary/type-safety/