Test de TypeScript: ¿compila o no? 24 preguntas

Este test de TypeScript es distinto: no hay que elegir entre cuatro opciones, sino pensar como el compilador. Cada una de las 24 preguntas es un fragmento de código, y solo tienes que decidir si tsc lo acepta con el modo estricto activado. Repasan las 8 lecciones del curso de TypeScript: tipos básicos, uniones y estrechamiento, funciones, clases, genéricos y tipos avanzados.

Exactamente la mitad compila. Al corregir verás tu nota, los aciertos por lección y, en cada pregunta, la explicación; en las que no compilan, con el mensaje real del compilador en español. Nada se envía a ningún sitio: el test se corrige en tu navegador. Todas las respuestas se comprobaron con TypeScript 7.0.2 (tsc --strict --locale es).

Pregunta 1Lección 1: Primeros pasos

¿Acepta tsc --strict este código?

function saludar(nombre) {
  return "Hola, " + nombre;
}

CompilaNo compila

No compila.

línea 1: error TS7006: El parámetro 'nombre' tiene un tipo 'any' implícitamente.

Con strict activado (incluye noImplicitAny), un parámetro sin tipo que TypeScript no puede deducir es un error: no se queda en silencio como any. Basta con escribir nombre: string. Ver la lección 1.

Pregunta 2Lección 1: Primeros pasos

¿Acepta tsc --strict este código?

function sumar(a: number, b: number) {
  return a + b;
}
const total = sumar(2, 3);
const texto: string = `Total: ${total.toFixed(2)}`;

CompilaNo compila

Compila. No hace falta anotar el tipo de retorno: TypeScript deduce que sumar devuelve number, así que toFixed existe, y una plantilla de texto siempre es string. Ver la lección 1.

Pregunta 3Lección 1: Primeros pasos

¿Acepta tsc --strict este código?

const resultado = console.log("listo");
console.log(resultado.toUpperCase());

CompilaNo compila

No compila.

línea 2: error TS2339: La propiedad 'toUpperCase' no existe en el tipo 'void'.

console.log no devuelve nada: su tipo de retorno es void. En JavaScript este código fallaría al ejecutarse; TypeScript lo detiene antes. Ver la lección 1.

Pregunta 4Lección 2: Tipos básicos

¿Acepta tsc --strict este código?

let estado = "activo";
estado = "pausado";

const fijo = "activo";

CompilaNo compila

Compila. Con let, TypeScript ensancha el tipo a string, porque la variable puede cambiar. Solo const fijo recibe el tipo literal "activo". Ver la lección 2.

Pregunta 5Lección 2: Tipos básicos

¿Acepta tsc --strict este código?

let valor: unknown = "hola";
console.log(valor.length);

CompilaNo compila

No compila.

línea 2: error TS18046: "valor" es de tipo "unknown".

unknown es el «no sé qué es» seguro: admite cualquier valor, pero no deja usarlo hasta comprobar su tipo, por ejemplo con typeof valor === "string". Ver la lección 2.

Pregunta 6Lección 2: Tipos básicos

¿Acepta tsc --strict este código?

let valor: any = "hola";
console.log(valor.lenght);

CompilaNo compila

Compila. Con any TypeScript deja de revisar: la errata lenght compila y, al ejecutar, imprime undefined. Es la gran diferencia con unknown. Ver la lección 2.

Pregunta 7Lección 3: Uniones y estrechamiento

¿Acepta tsc --strict este código?

function largo(x: string | string[]) {
  return x.length;
}

CompilaNo compila

Compila. En una unión solo se puede usar lo que tienen todos sus miembros. Tanto string como string[] tienen length, así que no hace falta estrechar. Ver la lección 3.

Pregunta 8Lección 3: Uniones y estrechamiento

¿Acepta tsc --strict este código?

type Forma =
  | { tipo: "circulo"; radio: number }
  | { tipo: "cuadrado"; lado: number }
  | { tipo: "triangulo"; base: number; alto: number };

function area(f: Forma): number {
  switch (f.tipo) {
    case "circulo":
      return Math.PI * f.radio ** 2;
    case "cuadrado":
      return f.lado ** 2;
  }
}

CompilaNo compila

No compila.

línea 6: error TS2366: Falta la instrucción "return" final en la función y el tipo de valor devuelto no incluye 'undefined'.

Falta el caso "triangulo": la función puede terminar sin devolver nada y su tipo dice number. Es la comprobación de exhaustividad que hace tan útiles las uniones discriminadas. Ver la lección 3.

Pregunta 9Lección 3: Uniones y estrechamiento

¿Acepta tsc --strict este código?

function inicial(u: { nombre?: string }) {
  if (u.nombre) {
    return u.nombre[0].toUpperCase();
  }
  return "?";
}

CompilaNo compila

Compila. Dentro del if, TypeScript sabe que u.nombre no es undefined (ni una cadena vacía): el tipo se estrecha a string. Y sin noUncheckedIndexedAccess, [0] también se considera string. Ver la lección 3.

Pregunta 10Lección 4: Funciones

¿Acepta tsc --strict este código?

function crear(nombre?: string, edad: number) {
  return { nombre, edad };
}

CompilaNo compila

No compila.

línea 1: error TS1016: Un parámetro obligatorio no puede seguir a un parámetro opcional.

Un parámetro opcional no puede ir antes de uno obligatorio: no habría forma de omitir el primero y pasar el segundo. Pon los opcionales al final, o usa nombre: string | undefined. Ver la lección 4.

Pregunta 11Lección 4: Funciones

¿Acepta tsc --strict este código?

const doble = (n: number) => n * 2;
const textos: string[] = [1, 2, 3].map(doble);

CompilaNo compila

No compila.

línea 2: error TS2322: El tipo 'number[]' no se puede asignar al tipo 'string[]'.
  El tipo 'number' no se puede asignar al tipo 'string'.

map(doble) devuelve number[], porque TypeScript sigue el tipo de retorno de la función que le pasas. Ver la lección 4.

Pregunta 12Lección 4: Funciones

¿Acepta tsc --strict este código?

type Comparador = (a: number, b: number) => number;
const primero: Comparador = (a) => a;

CompilaNo compila

Compila. Una función con menos parámetros de los que pide el tipo es compatible: el segundo argumento simplemente se ignora. Por eso puedes pasar (x) => ... a map, que envía tres. Ver la lección 4.

Pregunta 13Lección 5: Interfaces, type y clases

¿Acepta tsc --strict este código?

class Gato {
  nombre = "Michi";
}
class Perro {
  nombre = "Firulais";
}
const mascota: Gato = new Perro();

CompilaNo compila

Compila. TypeScript compara por estructura, no por nombre: un Perro tiene todo lo que tiene un Gato (una propiedad nombre de tipo string), así que sirve como Gato. Ver la lección 5.

Pregunta 14Lección 5: Interfaces, type y clases

¿Acepta tsc --strict este código?

class Cuenta {
  private saldo = 100;
}
const c = new Cuenta();
console.log(c.saldo);

CompilaNo compila

No compila.

línea 5: error TS2341: La propiedad 'saldo' es privada y solo se puede acceder a ella en la clase 'Cuenta'.

private impide el acceso desde fuera de la clase, pero solo al compilar: en el JavaScript resultante la propiedad sigue ahí. Si quieres que sea privada también al ejecutar, usa #saldo. Ver la lección 5.

Pregunta 15Lección 5: Interfaces, type y clases

¿Acepta tsc --strict este código?

interface Config {
  url: string;
}
interface Config {
  puerto: number;
}
const c: Config = { url: "https://ejemplo.com" };

CompilaNo compila

No compila.

línea 7: error TS2741: La propiedad "puerto" falta en el tipo "{ url: string; }", pero es obligatoria en el tipo "Config".

Dos interface con el mismo nombre se fusionan: Config exige url y puerto. Con type no pasa: declarar dos veces el mismo alias es un error. Ver la lección 5.

Pregunta 16Lección 6: Genéricos

¿Acepta tsc --strict este código?

function medir<T extends { length: number }>(x: T) {
  return x.length;
}
medir("hola");
medir([1, 2, 3]);
medir(42);

CompilaNo compila

No compila.

línea 6: error TS2345: No se puede asignar un argumento de tipo "number" al parámetro de tipo "{ length: number; }".

La restricción extends { length: number } admite cadenas y arrays, pero un número no tiene length. El error está solo en la última línea. Ver la lección 6.

Pregunta 17Lección 6: Genéricos

¿Acepta tsc --strict este código?

function leer<T, K extends keyof T>(obj: T, clave: K) {
  return obj[clave];
}
const edad = leer({ nombre: "Ana", edad: 30 }, "edad");
const doble: number = edad * 2;

CompilaNo compila

Compila. keyof T limita la clave a "nombre" | "edad", y el resultado tiene el tipo exacto de esa propiedad, T[K]: aquí, number. Ver la lección 6.

Pregunta 18Lección 6: Genéricos

¿Acepta tsc --strict este código?

interface Usuario {
  id: number;
  nombre: string;
  correo: string;
}
function actualizar(u: Usuario, cambios: Partial<Usuario>): Usuario {
  return { ...u, ...cambios };
}

CompilaNo compila

Compila. Partial<Usuario> vuelve opcionales todas las propiedades, y la propagación da un objeto que TypeScript acepta como Usuario. Ojo: si alguien pasa { nombre: undefined } explícitamente, también compila; solo exactOptionalPropertyTypes lo impide. Ver la lección 6.

Pregunta 19Lección 7: Tipos avanzados

¿Acepta tsc --strict este código?

const DIRECCIONES = ["norte", "sur"] as const;
DIRECCIONES.push("este");

CompilaNo compila

No compila.

línea 2: error TS2339: La propiedad 'push' no existe en el tipo 'readonly ["norte", "sur"]'.

as const convierte el array en una tupla de solo lectura, readonly ["norte", "sur"], que no tiene push. Ver la lección 7.

Pregunta 20Lección 7: Tipos avanzados

¿Acepta tsc --strict este código?

type Color = "rojo" | "verde";
const paleta = {
  rojo: "#d00",
  verde: "#0a0",
} satisfies Record<Color, string>;
console.log(paleta.rojo.toUpperCase());

CompilaNo compila

Compila. satisfies comprueba que el objeto cumple el tipo sin cambiar el tipo deducido: si faltara verde daría error, y paleta.rojo sigue siendo string. Ver la lección 7.

Pregunta 21Lección 7: Tipos avanzados

¿Acepta tsc --strict este código?

type Evento = `on${Capitalize<"click" | "focus">}`;
const e: Evento = "onclick";

CompilaNo compila

No compila.

línea 2: error TS2820: El tipo '"onclick"' no se puede asignar al tipo '"onClick" | "onFocus"'. ¿Quería decir ""onClick""?

El tipo plantilla genera "onClick" | "onFocus", con mayúscula. "onclick" no es ninguno de los dos. Ver la lección 7.

Pregunta 22Lección 8: Un proyecto real

¿Acepta tsc --strict este código?

const datos: unknown = JSON.parse('{"edad": 30}');
if (typeof datos === "object" && datos !== null && "edad" in datos) {
  console.log(datos.edad);
}

CompilaNo compila

Compila. Es la forma segura de leer datos externos: el operador in estrecha datos a un objeto con la propiedad edad (de tipo unknown, que console.log acepta). Ver la lección 8.

Pregunta 23Lección 8: Un proyecto real

¿Acepta tsc --strict este código?

import { readFileSync } from "node:fs";
const texto: string = readFileSync("notas.txt");

CompilaNo compila

No compila.

línea 2: error TS2322: El tipo 'NonSharedBuffer' no se puede asignar al tipo 'string'.

Sin codificación, readFileSync devuelve bytes, no texto: un Buffer, que en los tipos de Node 24 se llama NonSharedBuffer. Con readFileSync("notas.txt", "utf8") el resultado ya es string y compila. Ver la lección 8.

Pregunta 24Lección 8: Un proyecto real

¿Acepta tsc --strict este código?

const config: { puerto: number } = JSON.parse('{"puerto": "8080"}');
console.log(config.puerto + 1);

CompilaNo compila

Compila. JSON.parse devuelve any, y un any se puede asignar a cualquier tipo. Compila, pero puerto es en realidad el texto "8080" y la suma imprime 80801. Por eso los datos externos se tratan como unknown y se validan. Ver la lección 8.

Las preguntas siguen el orden del curso. Si fallas alguna, el enlace de su explicación te lleva a la lección donde se explica. ¿Quieres probar variantes? Copia el código en el editor de TypeScript y cámbialo hasta que compile, o hasta que deje de hacerlo. Y si una respuesta te sorprendió, seguramente esté en las rarezas de TypeScript.