# ¿Qué es Static Typing?

Es una regla que los tipos de datos en el programa se determinan con precisión en la etapa de escritura antes de ejecutar el código.

## Definición
En lenguajes de tipo estático, cuando crea una variable, primero debe especificar si es un número o texto. La computadora verifica estas definiciones antes de ejecutar el código. Si intenta escribir texto donde se espera un número, el programa le dará un error incluso antes de ejecutarse.

## Cómo funciona
Los tipos se asignan a variables mientras se escribe código. El compilador verifica estas asignaciones. Este método reduce significativamente el riesgo de cometer errores en proyectos grandes.

## Dónde se usa
Se utiliza en lenguajes como Java, C++, Rust y TypeScript.

## Suele confundirse con
Se confunde con los lenguajes tipados dinámicamente (como Python); En los lenguajes dinámicos, los tipos se determinan mientras se ejecuta el código.

## Preguntas frecuentes
**¿Son más difíciles los lenguajes de tipo estático?**
Requiere que escribas un poco más de código al principio, pero es más seguro a largo plazo porque detecta errores mucho antes en proyectos grandes.


## Términos relacionados
- [Rust](/es/dictionary/rust/)
- [Compiler](/es/dictionary/compiler/)
- [Clean Code](/es/dictionary/clean-code/)

## Herramientas relacionadas
- [TypeScript](/es/discover/typescript/)

---
Fuente: TreScout Glosario · https://trescout.com/es/dictionary/static-typing/