TypeScript 6.0 es la última versión basada en JS — la reescritura en Go (Project Corsa) ofrece comprobación de tipos 10 veces más rápida

TypeScript 6.0 llegó el 23 de marzo con una nota al pie que cambia todo el futuro del compilador: es la última versión escrita en TypeScript. Microsoft está reconstruyendo el compilador en Go bajo un proyecto llamado Project Corsa, y el preview nativo de TypeScript 7.0 ya está disponible. El número estrella — una mejora de velocidad de 10x en la comprobación de tipos — es real, y el benchmark de VS Code lo ilustra perfectamente: las 1,5 millones de líneas de TypeScript del propio editor pasan de una comprobación de tipos en frío de 77 segundos a 7,5 segundos.

Anders Hejlsberg — el creador de TypeScript (y de C#, y antes de Delphi) — anunció el proyecto él mismo en marzo de 2025. El hecho de que la reescritura haya progresado hasta tener un preview nativo en menos de un año indica el nivel de seriedad con que Microsoft aborda este lanzamiento.

Por qué Go y no Rust

La pregunta más frecuente ha sido por qué Microsoft eligió Go sobre Rust, especialmente considerando la mayor inversión de la empresa en Rust para trabajo de sistemas. La respuesta es arquitectónica: el compilador de TypeScript no fue diseñado con el modelo de ownership de Rust en mente.

El código base tiene mucho estado mutable compartido, inferencia de tipos recursiva compleja, y doce años de código evolucionado que depende en gran medida de mutar estructuras de datos compartidas. Portar eso a Rust habría requerido reescribir grandes fragmentos de la lógica desde cero — básicamente construir un compilador nuevo en vez de portar el existente. El modelo de memoria con recolección de basura de Go mapea de manera mucho más limpia con cómo funciona internamente el compilador de TypeScript.

También se evaluó C#. La preocupación ahí era la fricción del ecosistema: requerir el runtime de .NET como dependencia para una herramienta de compilación JavaScript añadiría complejidad a la cadena de herramientas y complicaría la distribución en entornos que no sean Windows.

Qué cambia para los desarrolladores con TypeScript 7.0

La mejora de velocidad del compilador es la ganancia obvia. Pero Project Corsa tiene implicaciones más profundas:

Rendimiento del servidor de lenguaje: El servidor de lenguaje TypeScript (tsserver) alimenta el autocompletado del IDE, ir a la definición y los diagnósticos de errores en línea en todos los editores principales. Un compilador 10 veces más rápido significa una experiencia de edición 10 veces más ágil en bases de código grandes. Se acabaron los retrasos de 2 segundos esperando el autocompletado en un monorepo.

Pipelines de compilación: Los pasos de comprobación de tipos en CI que actualmente se ejecutan durante minutos en proyectos grandes se completarán en segundos. Esto reduce el coste de iteración para equipos que imponen comprobación de tipos estricta antes de fusionar cambios.

Modo watch: El ciclo de retroalimentación de tsc --watch se aprieta drásticamente. Hacer un cambio y ver si pasa la comprobación de tipos se vuelve casi instantáneo incluso en bases de código con cientos de miles de líneas.

TypeScript 6.0: Lo que realmente llegó

La versión estable actual no es solo un puente hacia la 7.0 — incluye mejoras reales del lenguaje. Las características principales incluyen mejor narrowing para uniones discriminadas, mejor inferencia para patrones genéricos complejos, y un conjunto de mejoras de strictness que son opt-in por ahora pero que probablemente se conviertan en valores predeterminados en la 7.0.

Los cambios que rompen la compatibilidad en la 6.0 son una limpieza intencionada antes de la transición del compilador. Varios comportamientos heredados que se conservaron por retrocompatibilidad en la 5.x fueron eliminados. Si ya usas strict: true, la migración probablemente no surgirá muchos problemas. El equipo de TypeScript publicó una guía de migración con el lanzamiento.

Calendario

No se ha dado una fecha específica para un TypeScript 7.0 estable, pero el proyecto va por delante del calendario que Hejlsberg esbozó en 2025. El preview nativo soporta todas las características del lenguaje TypeScript. El trabajo pendiente se centra principalmente en la completitud del servicio de lenguaje, casos extremos en la inferencia de tipos complejos, y pruebas de integración en todo el ecosistema.

Para la mayoría de los proyectos, el movimiento práctico ahora mismo es quedarse en la 6.0, seguir los lanzamientos preview de la 7.0, y empezar a probar frente a la compilación nativa en CI en cuanto soporte el conjunto de características de tu base de código.