Fundamentos de TypeScript

Sobre mim

Alan Jhonnes
Arquiteto de Software na MJV
4+ anos de experiência com Typescript

TypeScript

Linguagem - Javascript Superset - Adiciona sistema de tipos
Compilador - Compila Typescript e Javascript para um dialeto ES de escolha - Altamente configurável
Language server - Provê funcionalidades de IDE para diversos editores de texto

Sistema de tipos

Estruturado
Developer Experience
Documentável
Flexível

Tipos básicos e primitivos

string

number

boolean

object

function

array

strictNullsChecks

null

undefined

Tipos especiais

any

unknown

void

never

Esses tipos servem para representar casos especiais. O uso do any serve para basicamente desabilitar a checagem de tipos. Geralmente é usado quando estamos iniciando e não sabemos direito como tipar alguma interface corretamente. No fim dessa palestra, vocês verão que a grande maioria dos casos é facilmente tipável. O tipo void é usado para representar uma função sem retorno, é equivalente a usar o undefined, mas de forma mais semântica para indicar realmente que a função não retorna nada. O tipo unknown é o inverso do any, serve para quando realmente você quer que o Typescript te force a fazer rigorosas checagens antes de você acessar ou usar a variavél. O tipo never representa um tipo que não deveria acontecer nunca. O exemplo mais simples é uma função que sempre dá erro, nunca chegando a finalizar, portanto o tipo da função não é nem void nem undefined e sim, never.

Definindo Tipos

Para definirmos nossos próprios tipos, podemos usar três diferentes métodos. O primeiro método é usando Type Aliases, usando a palavra chave "type" seguida do nome ou 'alias' que você quer dar para aquele tipo. O segundo método é usando uma interface, que é bem parecido com Type Alias com diferenças bem sutis. É recomendado usar interfaces no desenvolvimento de bibliotecas, pois essas interfaces podem depois ser alteradas nas aplicações. Por fim temos as classes, porém temos que tomar cuidado, porque as classes servem tanto para o javascript quanto para representar um tipo no sistema de tipos do Typescript. Não recomendo usar classes a não ser que você realmente vá adicionar métodos na classe, pois quando compilado ela gera código javascript, enquanto que type alias e interfaces não geram código javascript após compilado.

Sistema de tipos estrutural

Typescript é o seu
Javascript com tipos

Pensando em Conjuntos

Interssecções de conjuntos

Uniões de Conjuntos

Alguns exemplos

Modificadores

Readonly
Optional

Derivando tipos

Generics
Funções para tipos
Parâmetros de tipos

Para dar mais flexibilidade aos nossos tipos, é importante poder criar um novo tipo a partir de um tipo já existente. Para isso temos a funcionalidade de generics, que permite definir tipos que funcionam como funções que lhe retornam um novo tipo. Aqui temos um exemplo de tipo que aceita um parâmetro de tipo T para definir qual o tipo da propriedade data. O = any significa o valor padrão caso não seja informado. Embaixo temos outro exemplo para mostrar que generics realmente são como funções operando a nível de tipos. Vejam o tipo pair, que aceita dois parâmetros N e M, e retorna uma tupla com o primeiro indice sendo do tipo N e o segundo do tipo M. Logo abaixo temos uma arrow function que faz a mesma coisa, mas a nível de valores e não de tipos. Podemos tipar essa função pair agora corretamente.

Criando tipos indexados

Iterando em propriedades

Análise de tipos por fluxo

Tipos Condicionais

Combinando conceitos

Tipos Literais
Unions
Generics
Combinações
Analise de tipos por fluxo
Tipos condicionais

Metodologia Type-first

Estrutura de dados - Tipos
Invariantes nos tipos
Funções bem definidas
Implementação

Fundamentos de TypeScript

Sobre mim

TypeScript

Sistema de tipos

Tipos básicos e primitivos

strictNullsChecks

Tipos especiais

Definindo Tipos

Sistema de tipos estrutural

Typescript é o seu
Javascript com tipos

Pensando em Conjuntos

Interssecções de conjuntos

Uniões de Conjuntos

Alguns exemplos

Modificadores

Derivando tipos

Criando tipos indexados

Iterando em propriedades

Análise de tipos por fluxo

Tipos Condicionais

Combinando conceitos

Metodologia Type-first

Perguntas

Obrigado!

Fundamentos de TypeScript

Sobre mim

TypeScript

Sistema de tipos

Tipos básicos e primitivos

strictNullsChecks

Tipos especiais

Definindo Tipos

Sistema de tipos estrutural

Typescript é o seu Javascript com tipos

Pensando em Conjuntos

Interssecções de conjuntos

Uniões de Conjuntos

Alguns exemplos

Modificadores

Derivando tipos

Criando tipos indexados

Iterando em propriedades

Análise de tipos por fluxo

Tipos Condicionais

Combinando conceitos

Metodologia Type-first

Perguntas

Obrigado!

Typescript é o seu
Javascript com tipos