Referência TypeScript

Última atualização: 2026-10-22

Referência TypeScript

Lista alfabética de 70 entradas de tipos TypeScript: tipos básicos, composição, funções e classes, genéricos, restrição e asserções, tipos utilitários e configuração.

#
!	A asserção não nula (sufixo !) diz ao compilador "este valor com certeza não é null/undefi...
"a" \| "b"	Tipos literais promovem um valor a tipo: "up", 1 e true são todos tipos. Sozinhos têm uso ...
(arg) => R	Funções arrow têm sintaxe de anotação embutida: dois-pontos após os parâmetros, e a expres...
(arg: T) => R	Uma expressão de tipo de função descreve a forma de uma classe de funções: parâmetros, => ...
...rest: T[]	Parâmetros rest (...scores: number[]) coletam todos os argumentos restantes em um array de...
.d.ts	Arquivos de declaração (.d.ts) descrevem como uma biblioteca é sem conter nenhuma implemen...
?: / readonly	? marca uma propriedade como opcional (pode estar ausente); readonly a marca como somente ...
@decorator	Um decorador é uma sintaxe especial (@name) colocada antes de classes, métodos, propriedad...
[K in keyof T]	Um tipo mapeado percorre chaves e transforma valores: [K in keyof T]: boolean gera uma pro...
[key: string]: T	Assinaturas de índice descrevem objetos com chaves arbitrárias mas um tipo de valor unifor...
[T, U]	Uma tupla é um tipo de array de comprimento fixo com tipos por posição — ideal para coorde...
`${T}`	Tipos de template literal fazem concatenação na camada de tipos: `${A}-${B}` enumera cada ...
A
A & B	Uma interseção A & B mescla vários tipos: o valor deve satisfazer A e B simultaneamente. Ó...
A \| B	Uma união A \| B significa "o valor é A ou B". É preciso estreitá-la primeiro (typeof, in, ...
abstract class	Uma classe abstrata é uma classe base pela metade: pode carregar implementação real e, ao ...
any	any significa "desligar a verificação de tipos": qualquer valor pode ser atribuído a ele e...
arg?: T	O ? marca um parâmetro opcional (pode ser omitido) e o = atribui um padrão (usado quando o...
Array<T>	Tipos de array descrevem "uma lista de elementos do mesmo tipo", escritos como T[] ou Arra...
as	Uma asserção de tipo (as) diz ao compilador "eu conheço o tipo deste valor melhor do que v...
as const	as const congela um literal em seu tipo constante mais profundo: toda propriedade se torna...
assertNever	A verificação de exaustividade é um seguro em tempo de compilação de que cada membro de um...
Awaited<T>	Awaited<T> espelha o efeito de await no nível de tipo: desembrulha Promise<T> em T e també...
B
boolean	boolean tem exatamente dois valores, true e false. Use-o para feature flags, condições e r...
C
class	Uma classe agrupa dados e comportamento: campos guardam estado, o construtor inicializa, o...
class<T>	Uma classe genérica (class Stack<T>) liga a estrutura da classe ao tipo de dados armazenad...
contextual	Tipagem contextual: quando um literal de função está numa posição cujo tipo já é conhecido...
E
enum	Enums agrupam constantes relacionadas sob um namespace, onde os membros são tanto tipos qu...
Exclude<T, U>	Exclude<T, U> remove da união T os membros atribuíveis a U — tipicamente para aparar ramos...
F
function <T>	Funções genéricas usam um parâmetro de tipo <T> para transformar "tipos" em argumentos: um...
H
HTMLElement/Event	Todos os tipos do DOM vêm da lib DOM nativa do TypeScript: os elementos formam uma cadeia ...
I
implements	O implements faz uma classe reivindicar uma interface: o compilador verifica se a classe f...
import/export	ES Modules é o padrão oficial de módulos do JavaScript. O TypeScript reutiliza a sintaxe e...
in	O operador in verifica se um nome de propriedade existe em um objeto, e o TypeScript usa i...
in / out	A variância descreve como um parâmetro de tipo dentro de um tipo composto afeta a compatib...
infer	infer captura um tipo dentro do ramo verdadeiro de um condicional: T extends Array<infer U...
instanceof	O type guard instanceof funciona em uniões de classes: verifica se um valor é instância de...
interface	Uma interface dá um nome à forma de um objeto: declara quais propriedades e métodos existe...
interface<T>	Uma interface genérica recebe parâmetros de tipo (interface ApiResult<T>), desacoplando a ...
K
keyof	keyof T coleta todas as chaves de um tipo de objeto T numa união de literais: keyof Settin...
kind	Uma união discriminada (também chamada tagged union) conecta um grupo de tipos por meio de...
N
name(arg: T): R	As anotações de função declaram os tipos dos parâmetros e do valor de retorno: quem chama ...
narrowing	Um tipo união reúne várias possibilidades em uma única variável, então, antes de usá-la, é...
never	never significa "nenhum valor jamais": funções que lançam erro ou entram em loop infinito ...
new () => T	Uma assinatura de construção new (name: string) => T descreve "este valor pode receber new...
NonNullable<T>	NonNullable<T> remove null e undefined de T. Serve para os casos em que um campo pode esta...
null / undefined	null significa "vazio intencional"; undefined significa "não atribuído / ausente". Com str...
number	number cobre tanto inteiros quanto decimais — o JS tem apenas um tipo numérico. Contagens,...
O
object type	Tipos de objeto descrevem um objeto por meio de pares "propriedade: tipo": use inline para...
Omit<T, K>	Omit<T, K> descarta de T as propriedades nomeadas por K e mantém o restante como um novo t...
overloads	Declarações de sobrecarga dão a uma função várias folhas de assinatura: quem chama recebe ...
P
Parameters<T>	Parameters<T> extrai a lista de parâmetros de um tipo de função T como um tipo tupla. Com ...
Partial<T>	Partial<T> torna todas as propriedades de T opcionais: perfeito para "atualizações parciai...
Pick<T, K>	Pick<T, K> extrai de T as propriedades nomeadas por K para compor um novo tipo. Quando voc...
Promise<T>	Os tipos assíncronos giram em torno de Promise<T>: o tipo de retorno de uma função async é...
public / private / protected	Modificadores de acesso controlam a visibilidade dos membros: public (padrão, acessível em...
R
Readonly<T>	Readonly<T> torna todas as propriedades de T somente leitura: reatribuir uma propriedade a...
Record<K, V>	Record<K, V> constrói um tipo de objeto com chaves K e valores V. K pode ser uma união lit...
ReturnType<T>	ReturnType<T> extrai o tipo de retorno de um tipo de função T. O idioma é ReturnType<typeo...
S
string	string representa valores de texto. Use-o para nomes, mensagens, IDs — qualquer dado que e...
symbol / bigint	symbol cria valores globalmente únicos, sem repetição — bom para chaves de objetos e token...
T
T = Default	Parâmetros de tipo podem ter padrões (<T = string>): omitido significa que o padrão vale, ...
T extends U	Uma restrição (extends) delimita um parâmetro de tipo: <T extends HasId> promete "T tem pe...
T extends U ? X : Y	Tipos condicionais fazem os tipos responderem uma prova: T extends U ? X : Y — escolha X s...
try / catch	O tratamento de erros no TypeScript tem dois pontos críticos: a variável err do catch é un...
tsconfig.json	tsconfig.json é o interruptor mestre de um projeto TypeScript: colocado na raiz do projeto...
type	type dá nome a qualquer tipo — objetos, uniões, tuplas, funções, literais — sendo a forma ...
typeof	O type guard com typeof é o mais comum: em tempo de execução, typeof retorna uma string de...
U
unknown	unknown é o any seguro: qualquer valor pode ser atribuído a ele, mas deve ser estreitado o...
V
void	void significa "sem valor de retorno significativo". Use-o para loggers e callbacks de eve...
X
x is T	Quando os guards nativos (typeof/instanceof/in) não bastam, escreva a sua própria função t...

Equipe Técnica Web-Tutorial

Uma plataforma de tutoriais mantida por diversos desenvolvedores. Cada tutorial é escrito e revisado por profissionais da área correspondente. Trabalhamos para manter nosso conteúdo preciso e confiável — se encontrar algum problema, avise-nos.

Sobre Nós