Aprender TypeScript

Capítulo 2. El sistema de tipos

Este trabajo se ha traducido utilizando IA. Agradecemos tus opiniones y comentarios: [e-mail]

El poder de JavaScript

Proviene de la flexibilidad

¡Ten cuidado con eso!

En el Capítulo 1, "De JavaScript a TypeScript", hablé brevemente de la existencia de un "comprobador de tipos" en TypeScript que examina tu código, entiende cómo debe funcionar y te indica dónde puedes haber metido la pata. Pero, ¿cómo funciona realmente un comprobador de tipos?

¿Qué hay en un Tipo?

Un "tipo" es una descripción de lo que podría ser la forma de un valor de JavaScript. Por "forma" me refiero a qué propiedades y métodos existen en un valor, y cómo lo describiría el operador incorporado typeof.

Por ejemplo, cuando creas una variable con el valor inicial "Aretha":

let singer = "Aretha";

TypeScript puede deducir, o averiguar, que la variable singer es de tipo cadena.

Los tipos más básicos de TypeScript se corresponden con los siete tipos básicos de primitivas de JavaScript:

• null

• undefined

• boolean // true o false

• string // "", "Hi!", "abc123", ...

• number // 0, 2.1, -4, ...

• bigint // 0n, 2n, -4n, ...

• symbol // Symbol(), Symbol("hi"), ...

Para cada uno de estos valores, TypeScript entiende que el tipo del valor es una de las siete primitivas básicas:

• null; // null

• undefined; // undefined

• true; // boolean

• "Louise"; // string

• 1337; // number

• 1337n; // bigint

• Symbol("Franklin"); // symbol

Si alguna vez olvidas el nombre ...