book

Aprendendo Typescript

by Josh Goldberg

April 2025

Intermediate to advanced

320 pages

Portuguese (Portugal, Brazil)

O'Reilly Media, Inc.

Book available

Read now

Unlock full access

Quem deve ler este livroPorque escrevi este livroComo navegar neste livroExemplos e projectosConvenções utilizadas neste livroUtilizar exemplos de códigoAprendizagem em linha da O'ReillyComo contactar-nosAgradecimentos
História do JavaScriptAs armadilhas do Vanilla JavaScriptLiberdade que custa caroDocumentação soltaFerramentas de desenvolvimento mais fracasTypescript!Começar a utilizar o TypeScript PlaygroundTypeScript em açãoLiberdade através da restriçãoDocumentação exactaFerramentas de desenvolvimento mais fortesSintaxe de compilaçãoComeça a trabalhar localmenteCorre localmenteCaraterísticas do editorO que o Typescript não éUm remédio para o mau códigoExtensões ao JavaScript (maioritariamente)Mais lento do que JavaScriptEvolução concluídaResumo
O que há num tipo de letra?Sistemas de tipoTipos de errosCapacidade de atribuiçãoCompreensão dos erros de atribuiçãoAnotações de tipoAnotações de tipo desnecessáriasFormas de TipoMódulosResumo
Tipos de UniãoDeclaração de tipos de uniãoPropriedades da UniãoEstreitamentoLimitação da atribuiçãoVerificações condicionaisTipo de chequesTipos literaisAtribuibilidade literalVerificação rigorosa de nuloO erro de mil milhões de dólaresVerdade EstreitamentoVariáveis sem valores iniciaisTipo AliasesOs aliases de tipo não são JavaScriptCombinação de aliases de tipoResumo
Tipos de objectosDeclaração de tipos de objetosTipos de objetos com aliasesTipagem estruturalVerificação da utilizaçãoVerificação de bens em excessoTipos de objectos aninhadosPropriedades opcionaisUniões de tipos de objetosUniões de tipo de objeto inferidasUniões explícitas de tipo de objetoLimitação de tipos de objetosSindicatos discriminadosTipos de intersecçõesPerigos dos tipos de intersecçãoResumo
Parâmetros de funçãoParâmetros necessáriosParâmetros opcionaisParâmetros por defeitoParâmetros de repousoTipos de retornoTipos de retorno explícitosTipos de funçõesTipo de função ParêntesesTipo de parâmetro InferênciasAliases de tipo de funçãoMais tipos de devoluçãoDevoluções nulasNunca regressaSobrecargas de funçõesCompatibilidade de assinatura de chamadasResumo
Tipos de matrizesTipos de matriz e de funçãoMatrizes de tipo uniãoEvolução de quaisquer matrizesMatrizes multidimensionaisMembros da matrizAdvertência: Membros insatisfeitosEspalha e descansaSpreadsParâmetros de repouso de dispersãoTuplasAtribuição de tuplasInferências de tuplasResumo
Aliases de tipo versus interfacesTipos de propriedadesPropriedades opcionaisPropriedades só de leituraFunções e métodosAssinaturas de chamadasAssinaturas de índiceInterfaces aninhadasExtensões de interfacePropriedades substituídasExtensão de várias interfacesFusão de interfacesConflitos de nomes de membrosResumo

Métodos de classePropriedades de classePropriedades da funçãoVerificação da inicializaçãoPropriedades opcionaisPropriedades só de leituraClasses como tiposClasses e InterfacesImplementação de múltiplas interfacesExtensão de uma classeExtensão de capacidade de atribuiçãoConstrutores substituídosMétodos substituídosPropriedades substituídasClasses abstractasVisibilidade dos membrosModificadores de campo estáticosResumo
Tipos superioresqualquer, Outra vezdesconhecidoPredicados de tipoOperadores de tipochave detipo deAsserções de tipoAsserção de tipos de erros retidosAsserções não nulasAdvertências de asserção de tipoAsserções ConstLiterais para primitivosObjectos só de leituraResumo
Funções genéricasTipos de chamadas genéricas explícitasParâmetros de tipos de funções múltiplasInterfaces genéricasTipos de interface genéricos inferidosClasses genéricasTipos de classe genéricos explícitosExtensão de classes genéricasImplementação de interfaces genéricasMétodos genéricosGenéricos de classe estáticaAliases de tipo genéricoSindicatos discriminados genéricosModificadores genéricosPredefinições genéricasTipos genéricos restritoskeyof e parâmetros de tipo restritoPromessasCriar promessasFunções assíncronasUtilizar corretamente os genéricosA regra de ouro dos genéricosConvenções de nomes genéricosResumo
Ficheiros de declaraçãoDeclaração de valores em tempo de execuçãoValores globaisFusão global de interfacesAumentos globaisDeclarações incorporadasDeclarações da bibliotecaDeclarações DOMDeclarações de módulosDeclarações de módulos curingaTipos de embalagensdeclaraçãoTipos de pacotes de dependênciaExpondo tipos de pacotesDefinitivamenteTipadoTipo DisponibilidadeResumo
Navegar no códigoDefinições de resultadosEncontrar referênciasEncontrar implementaçõesCódigo de escritaCompletar nomesActualizações automáticas de importaçãoCódigo AcçõesTrabalhar eficazmente com errosErros do serviço linguísticoResumo
tsc OpçõesModo bonitoModo de vigilânciaFicheiros TSConfigtsc --initCLI versus configuraçãoInclusões de ficheirosincluiexcluiExtensões alternativasSintaxe JSXresolveJsonModuleEmitiroutDiralvoEmissão de declaraçõesMapas de origemnoEmitTipo VerificaçãolibignoraLibCheckModo estritoMódulosmódulomoduleResolutionInteroperabilidade com o CommonJSisoladoMódulosJavaScriptpermiteJsverificaJsSuporte JSDocExtensões de configuraçãoestendeBases de configuraçãoReferências do projetocompostoreferênciasModo de construçãoResumo
Propriedades dos parâmetros de classeDecoradores experimentaisEnumsValores numéricos automáticosEnums com valor de cadeiaConst EnumsNamespacesExportações de NamespaceEspaços de nome aninhadosNamespaces em definições de tiposPrefere Módulos a NamespacesImportações e exportações apenas por tipoResumo
Tipos mapeadosTipos mapeados a partir de tiposModificação de modificadoresTipos genéricos mapeadosTipos condicionaisTipos condicionais genéricosTipo DistributividadeTipos inferidosTipos condicionais mapeadosnuncanunca e Intersecções e UniõesNunca e tipos condicionaisnunca e tipos mapeadosModelo de tipos literaisTipos intrínsecos de manipulação de cadeias de caracteresModelo de chaves literaisRemapeamento de teclas de tipo mapeadasOperações de tipo e complexidadeResumo

Content preview from Aprendendo Typescript

Capítulo 15. Operações de tipo

Este trabalho foi traduzido com recurso a IA. Agradecemos o teu feedback e comentários: translation-feedback@oreilly.com

Condicionais, mapas

Com grande poder sobre os tipos

vem uma grande confusão

Mesmo os modificadores lógicos do Capítulo 10, "Generics", não são nada em comparação com as capacidades das operações de tipos deste capítulo. Depois de concluir este capítulo, poderás misturar, combinar e modificar tipos com base noutros tipos - dando-te formas poderosas de representar tipos no sistema de tipos.

Aviso

A maior parte destes tipos extravagantes são técnicas que geralmente não queres utilizar com muita frequência. Vais querer compreendê-las para os casos em que são úteis, mas cuidado: podem ser difíceis de ler quando utilizadas em excesso. Diverte-te!

Tipos mapeados

TypeScript fornece sintaxe para criar um novo tipo com base nas propriedades de outro tipo: por outras palavras, mapear de um tipo para outro. Um tipo mapeado em TypeScript é um tipo que recebe outro tipo e executa alguma operação em cada propriedade desse tipo.

Utiliza uma sintaxe semelhante à das assinaturas de índice, mas em vez de utilizar um tipo de chave estático com : como [i: string], utiliza um tipo calculado a partir de outro tipo com in como [K in OriginalType]:

type NewType = {
    [K in OriginalType]: NewProperty;
};

Um caso de utilização comum para tipos mapeados é criar um objeto cujas chaves são cada um dos literais de cadeia de caracteres num tipo de união existente. ...