AI ganó la guerra de TypeScript
El debate ha terminado. TypeScript no ganó por tener mejores argumentos. Ganó porque las herramientas de IA hicieron que el debate fuera irrelevante.
Los investigadores encontraron un patrón clave. La mayoría de los fallos de compilación en el código generado por IA son desajustes de tipos. No son errores de lógica. Son errores simples donde la forma de una función o de un argumento es incorrecta.
La IA genera código rápido siguiendo patrones. No mantiene un modelo mental completo de todo tu código base. Un humano podría detectar un error de tipo gracias a la experiencia. Un comprobador de tipos lo detecta al instante sin necesidad de contexto.
El tipado estático ya no es una elección de estilo. Es una herramienta de seguridad para el código escrito por IA.
Mira cómo esto afecta a tu trabajo diario:
Código base dinámico con IA:
- La IA escribe una función.
- Los tipos son implícitos.
- Debes encontrar los errores manualmente.
Código base estático con IA:
- La IA escribe una función.
- El comprobador de tipos señala los errores inmediatamente.
La tasa de errores es la misma. El coste de corregirlos es diferente. Por eso la adopción de TypeScript sigue creciendo. Los tipos actúan como un seguro económico cuando un no-humano escribe tu primer borrador.
Esta regla también se aplica a otros lenguajes. Rust es incluso más útil en este caso. El borrow checker detiene los errores de memoria y concurrencia que la IA suele introducir. Estos errores parecen correctos localmente, pero fallan durante el tiempo de ejecución.
Los lenguajes están ganando porque hacen que el desarrollo asistido por IA sea más seguro de revisar.
Si lideras un equipo, sigue estos pasos:
- Añade tipado en los límites primero.
- Céntrate en las firmas de las funciones y los contratos de la API.
- Protege las áreas donde los datos se mueven entre módulos.
Una advertencia: la seguridad de tipos no es una solución milagrosa. Detecta los errores a los que la IA es propensa. No detecta la mala lógica o los requisitos incorrectos. Un código que compila no siempre es correcto. El comprobador de tipos es un cinturón de seguridad, no el conductor.
¿Tu equipo utiliza el modo estricto por defecto? Cuéntame qué piensas abajo.