Aprendendo Typescript

Capítulo 9. Modificadores de tipo

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

Tipos de tipos a partir de tipos.

"É tartaruga até ao fundo".

Anders gosta de dizer.

Até agora já leste tudo sobre como o sistema de tipos TypeScript funciona com construções JavaScript existentes, como arrays, classes e objectos. Para este capítulo e para o Capítulo 10, "Generics", vou dar um passo em frente no próprio sistema de tipos e mostrar funcionalidades que se concentram em escrever tipos mais precisos, bem como tipos baseados noutros tipos.

Tipos superiores

Eu mencionei o conceito de um tipo inferior no Capítulo 4, "Objectos", para descrever um tipo que não pode ter valores possíveis e não pode ser alcançado. É lógico que o oposto também pode existir na teoria dos tipos. E existe!

Um tipo de topo, ou tipo universal, é um tipo que pode representar qualquer valor possível num sistema. Os valores de todos os outros tipos podem ser fornecidos a um local cujo tipo é um tipo de topo. Por outras palavras, todos os tipos são atribuíveis a um tipo de topo.

qualquer, Outra vez

O tipo any pode atuar como um tipo de topo, na medida em que qualquer tipo pode ser fornecido a uma localização do tipo any.any é geralmente utilizado quando uma localização pode aceitar dados de qualquer tipo, como os parâmetros para console.log:

let anyValue: any;
anyValue = "Lucille Ball"; // Ok
anyValue = 123; // Ok

console.log(anyValue); // Ok