TypeScript 7.1 Beta en un Proyecto Real: Correla en Paralelo, Medí la Mejora y Arreglá lo que se Rompe

1. El Problema: 7.0 Era Rápido, pero Medio Toolchain No Lo Podía Seguir

TypeScript 7.0 salió el 8 de julio de 2026 como el port nativo del compilador a Go. Microsoft reportó mejoras típicas de 8–12× en builds completos; el codebase de VS Code pasó de 125,7 s a 10,6 s con los cuatro hilos de type-checking por defecto. La trampa estaba escrita en el anuncio: 7.0 salió sin API. Todo lo que importa el compilador como librería — las reglas type-aware de typescript-eslint, Volar para Vue, svelte-check, el chequeo de templates de Angular — tuvo que quedarse en 6.0.

Así que la pregunta para un equipo de Next.js o Node no es si 7.x es rápido — lo es. Es si todo tu toolchain puede correr sobre el mismo compilador, y qué cambia 7.1 en código que compilaba limpio en 7.0.

2. Conceptos Mínimos: Qué Cambia de Verdad en 7.1

Seis cosas, en el orden en que te van a llegar. Las dos primeras son la razón de ser de esta versión; la última es la razón por la que tu build puede fallar.

3. Tutorial: 7.1 Beta en un Proyecto Next.js Sin Romper Nada

Todo lo que sigue corrió en mi sandbox con Windows 11, Node 22.22 y npm 11.11, contra typescript 7.1.0-beta, 7.0.2 y @typescript/typescript6 6.0.2 (cuyo tsc6 reporta 6.0.3). Solo probé con npm; las salidas de los comentarios son las que obtuve.

node -v
npx tsc -v                  # el compilador que corren de verdad tus scripts
npm ls typescript           # quién más trae un TypeScript
npx tsc --noEmit --pretty false > typecheck-before.txt

# Camino A: ya en verde con 7.0, sin reglas type-aware de typescript-eslint
npm install -D --save-exact typescript@7.1.0-beta

# Camino B: "typescript" sigue en 6.0 para las herramientas, tsc sale de 7.1
npm install -D --save-exact "typescript@npm:@typescript/typescript6@6.0.2" "@typescript/native@npm:typescript@7.1.0-beta"

npx tsc -v     # Version 7.1.0-beta
npx tsc6 -v    # Version 6.0.3   (solo camino B)

// package.json después del camino B
"devDependencies": {
  "@typescript/native": "npm:typescript@7.1.0-beta",
  "typescript": "npm:@typescript/typescript6@6.0.2"
}

// package.json
"scripts": {
  "typecheck": "tsc --noEmit",
  "typecheck:6": "tsc6 --noEmit",
  "bench:tsc": "node scripts/bench-tsc.mjs 5 tsconfig.json"
}

# .github/workflows/ci.yml — un job extra al lado de tu build normal
  typecheck-ts71-beta:
    runs-on: ubuntu-latest
    continue-on-error: true          # informativo hasta que 7.1 sea estable
    steps:
      - uses: actions/checkout@v5
      - uses: actions/setup-node@v5
        with:
          node-version: 22
          cache: npm
      - run: npm ci
      - run: npx tsc -v
      - run: npx tsc --noEmit --checkers 2

// scripts/bench-tsc.mjs  ·  uso: node scripts/bench-tsc.mjs [corridas] [tsconfig]
import { spawnSync } from "node:child_process";
import { existsSync } from "node:fs";

const RUNS = Number(process.argv[2] ?? 5);
const PROJECT = process.argv[3] ?? "tsconfig.json";
const CHECKERS = process.env.CHECKERS; // p. ej. CHECKERS=2 para imitar un runner de CI chico

// Rutas explícitas: nunca confíes en lo que apunte hoy node_modules/.bin/tsc.
const compilers = [
  { label: "6.0", bin: "node_modules/typescript/bin/tsc6" },
  { label: "7.0", bin: "node_modules/ts70/bin/tsc" },
  { label: "7.1-beta", bin: "node_modules/@typescript/native/bin/tsc" },
].filter((c) => existsSync(c.bin));

const median = (xs) => [...xs].sort((a, b) => a - b)[Math.floor(xs.length / 2)];

for (const { label, bin } of compilers) {
  const args = [bin, "-p", PROJECT, "--noEmit", "--incremental", "false", "--extendedDiagnostics"];
  if (CHECKERS && label !== "6.0") args.push("--checkers", CHECKERS);

  const version = spawnSync(process.execPath, [bin, "-v"], { encoding: "utf8" }).stdout.trim();
  const wall = [];
  const mem = [];
  let exit = 0;

  for (let i = 0; i <= RUNS; i++) {
    const t0 = performance.now();
    const r = spawnSync(process.execPath, args, { encoding: "utf8", maxBuffer: 256 * 1024 * 1024 });
    const ms = performance.now() - t0;
    exit = r.status;
    if (i === 0) continue; // calentamiento: llena la caché de archivos del SO, no cuenta
    wall.push(ms);
    const m = /Memory used:\s+(\d+)K/.exec(r.stdout);
    if (m) mem.push(Number(m[1]) / 1024);
  }

  console.log(
    label.padEnd(9),
    version.padEnd(20),
    "median " + (median(wall) / 1000).toFixed(2) + " s",
    "| memory " + (mem.length ? median(mem).toFixed(0) + " MiB" : "n/a"),
    "| exit " + exit,
  );
}

// Camino A: la ruta por defecto de arriba pasa a ser node_modules/typescript/bin/tsc.

type Show<A extends number, B extends A> = `${B} extends ${A}`;

type Issue<A extends number, B extends A> =
    A extends B ? never : Show<A, B>;
// 7.1: error TS2344: Type 'B' does not satisfy the constraint 'A'.
//   'B' is only assignable to the non-distributed 'A', but 'A' has been distributed here.

// Fix A: volvé a chequear la relación dentro de la rama (las combinaciones inválidas pasan a never)
type FixA<A extends number, B extends A> =
    A extends B ? never : B extends A ? Show<A, B> : never;

// Fix B: sacá una restricción que el helper nunca necesitó (mantiene el resultado de 7.0)
type ShowLoose<A extends number, B extends number> = `${B} extends ${A}`;
type FixB<A extends number, B extends A> =
    A extends B ? never : ShowLoose<A, B>;

// Fix C: dejá de distribuir, si querías la unión completa (el resultado cambia)
type FixC<A extends number, B extends A> =
    [A] extends [B] ? never : Show<A, B>;

// FixA<0 | 1, 0> = never
// FixB<0 | 1, 0> = "0 extends 1"
// FixC<0 | 1, 0> = "0 extends 0" | "0 extends 1"

// Lo que imprimió 7.1 para un tsconfig viejo de Next.js en mi sandbox
// error TS5108: Option 'moduleResolution=node10' has been removed. Please remove it from your configuration.
// error TS5102: Option 'baseUrl' has been removed. Please remove it from your configuration.
//   Use '"paths": {"*": ["./*"]}' instead.

// tsconfig.json
{
  "compilerOptions": {
-   "moduleResolution": "node",
+   "moduleResolution": "bundler",
-   "baseUrl": ".",
    "paths": { "@/*": ["./src/*"] },
+   "types": ["node", "jest"],       // solo si dependés de esos globales
    "plugins": [{ "name": "next" }]
  }
}

// check-snippet.mjs: chequeo de tipos en memoria de código generado con la API de TypeScript 7.1
import { API } from "@typescript/native/sync";
import { createFileSystemWithLib } from "@typescript/native/fs";
import { ScriptTarget } from "@typescript/native/ast";
import { resolve } from "node:path";

export function typecheck(code) {
  const fileName = resolve("virtual/generated.ts"); // nunca se escribe en disco
  const api = new API();
  const snapshot = api.createSnapshot({
    fileSystem: createFileSystemWithLib([[fileName, code]]),
    createPrograms: [
      { rootFiles: [fileName], compilerOptions: { strict: true, noEmit: true, target: ScriptTarget.ES2022 } },
    ],
  });
  const program = snapshot.operation.createdPrograms[0];
  try {
    return program.getSemanticDiagnostics().map((d) => "TS" + d.code + ": " + d.text);
  } finally {
    program.dispose(); // estos objetos viven del lado de Go: liberalos explícitamente
    snapshot.dispose();
    api.close();
  }
}

console.log(typecheck('export const total = (xs: number[]): number => xs.reduce((a, b) => a + b, "0");'));
// [ "TS2322: Type 'string' is not assignable to type 'number'." ]
console.log(typecheck("export const ok = (xs: number[]): number => xs.length;"));
// []

4. Estado del Ecosistema (26 de Octubre de 2026) y la Tabla de Decisión

Revisé hoy la metadata de npm y los issues de seguimiento. Un rango de peer dice qué acepta un paquete, no que funcione, pero un rango que excluye 7.x significa que npm se va a quejar y que la herramienta normalmente ni arranca.

5. Errores Comunes (Casi Todos Me Pasaron en el Sandbox)

Más o menos en orden de cuánto tiempo te hacen perder.

Conclusión

TypeScript 7.1 es la versión que convierte a 7.x en un toolchain completo en vez de un tsc rápido corriendo al lado de uno de 6.0: la API y los content mappers son lo que esperaban typescript-eslint, Vue, Svelte y Astro. Encima, los propios números de Microsoft muestran otro 1,2–1,9× sobre 7.0 con bastante menos memoria.

Sigue siendo una beta y el ecosistema todavía no cruzó. Instalala en paralelo, fijá la versión, correla en un job de CI que no te pueda bloquear, medí sobre tu propio repo y arreglá ya los errores de tipos distributivos, mientras los reportes todavía pueden influir en el RC.

Fuentes

• Microsoft — Anuncio de TypeScript 7.1 Beta
• Microsoft — Anuncio de TypeScript 7.0
• Issue #63702 de TypeScript — actualizaciones de lib.d.ts para TypeScript 7.1
• PR #64237 de TypeScript — chequeos más estrictos en parámetros de tipo distributivos
• PR #4712 de typescript-go — content mappers
• Post de lanzamiento de Next.js 16.3
• Documentación de Next.js — useTypeScriptCli
• Issue #10940 de typescript-eslint — usar TS 7 para la información de tipos
• PR #6170 de Vue Language Tools — content mapper (v4 alpha)
• Issue #64565 de TypeScript — extensión de VS Code y TypeScript 7.x del workspace
• Digital Applied — TypeScript 7.1 beta: qué probar