Aprendendo Typescript

Capítulo 2. O sistema de tipos

Este trabalho foi traduzido com recurso a IA. Agradecemos o teu feedback e comentários: [e-mail]

O poder do JavaScript

Resulta da flexibilidade

Tem cuidado com isso!

Falei brevemente no Capítulo 1, "Do JavaScript para o Typescript", sobre a existência de um "verificador de tipos" no TypeScript que olha para o teu código, compreende como deve funcionar e avisa-te onde podes ter feito asneira. Mas como é que um verificador de tipos funciona, realmente?

O que há num tipo de letra?

Um "tipo" é uma descrição da forma de um valor JavaScript. Por "forma" quero dizer que propriedades e métodos existem num valor e como o operador incorporado typeof o descreveria.

Por exemplo, quando crias uma variável com o valor inicial "Aretha":

let singer = "Aretha";

O TypeScript pode inferir, ou descobrir, que a variável singer é do tipo string.

Os tipos mais básicos em TypeScript correspondem aos sete tipos básicos de primitivas em JavaScript:

• null

• undefined

• boolean // true ou false

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

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

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

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

Para cada um desses valores, o Typescript entende que o tipo do valor é uma das sete primitivas básicas:

• null; // null

• undefined; // undefined

• true; // boolean

• "Louise"; // string

• 1337; // number

• 1337n; // bigint

• Symbol("Franklin"); // symbol

Se alguma vez te esqueceres do nome de uma primitiva, podes escrever ...