Programación TypeScript

Capítulo 3. Todo sobre los tipos

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

En el último capítulo introduje la idea de los sistemas de tipos, pero nunca definí qué significa realmente el tipo en sistema de tipos.

Tipo

Un conjunto de valores y las cosas que puedes hacer con ellos.

Si esto te parece confuso, permíteme que te dé algunos ejemplos conocidos:

• El tipo boolean es el conjunto de todos los booleanos (sólo hay dos: true y false) y las operaciones que puedes realizar con ellos (como ||, && y !).

• El tipo number es el conjunto de todos los números y las operaciones que puedes realizar con ellos (como +, -, *, /, %, ||, &&, y ?), incluidos los métodos que puedes invocar con ellos como .toFixed, .toPrecision, .toString, etc.

• El tipo string es el conjunto de todas las cadenas y las operaciones que puedes realizar sobre ellas (como +, ||, y &&), incluidos los métodos que puedes llamar sobre ellas como .concat y .toUpperCase.

Cuando ves que algo es del tipo T, no sólo sabes que es un T, sino que también sabes exactamente lo que puedes hacer con ese T (y lo que no). Recuerda que el objetivo es utilizar el corrector tipográfico para evitar que hagas cosas no válidas. Y la forma en que el verificador de tipos sabe lo que es válido y lo que no lo es es observando los tipos que utilizas y cómo los utilizas.

En este capítulo haremos un recorrido por los tipos disponibles en TypeScript y cubriremos los ...