Tipos Básicos

Los tipos primitivos principales de TypeScript son string, number y boolean. Puedes anotar el tipo de una variable explícitamente con dos puntos, aunque TypeScript suele poder deducir el tipo por sí solo.

let username: string = "Alice";
let age: number = 30;
let isStudent: boolean = false;

console.log(username, typeof username);
console.log(age, typeof age);
console.log(isStudent, typeof isStudent);

Alice string
30 number
false boolean

Inferencia de tipos

No tienes que anotar cada variable — si le das a una variable un valor inicial, TypeScript infiere su tipo a partir de ese valor automáticamente, y aun así detectará una incompatibilidad más adelante exactamente como si tú mismo hubieras escrito la anotación.

let city = "Tokyo"; // inferred as string, no annotation needed
console.log(city, typeof city);

Tokyo string

Cómo se ve un error de tipo real

Esto es genuinamente lo que muestra el compilador de TypeScript cuando intentas asignar el tipo equivocado — capturado de una ejecución real, no escrito para parecer plausible:

let score: string = "high";
score = 42;
console.log(score);

script.ts(2,1): error TS2322: Type '42' is not assignable to type 'string'.

No se ejecuta nada en absoluto — no hay resultado, solo el error. Ese es todo el punto: TypeScript te detiene aquí en vez de dejar que un valor con el tipo equivocado cause problemas silenciosamente en algún otro lugar de tu programa.

Siguiente: arrays y tuples — colecciones tipadas, y una estructura exclusiva de TypeScript sin equivalente real en JavaScript.