Guias

O TypeScript é uma linguagem de programação que acrescenta tipos estáticos ao JavaScript. É um superconjunto — qualquer JavaScript válido é também TypeScript válido — e compila para JavaScript puro que corre em qualquer lugar onde o JavaScript corre. Criado e mantido pela Microsoft, tornou-se uma das linguagens mais usadas no desenvolvimento de front-end e Node.js.

O objetivo é apanhar erros antes de chegarem aos utilizadores. Em JavaScript puro, um erro de escrita no nome de uma propriedade ou passar o tipo de valor errado só falha em tempo de execução. O TypeScript verifica o seu código à medida que o escreve, transformando uma classe inteira de bugs em sublinhados vermelhos no seu editor. Este guia explica o que é, como funciona, as funcionalidades que importam, e os compromissos honestos.

Como funciona o TypeScript

O TypeScript funciona acrescentando anotações de tipo: pode declarar que uma variável é uma string, que uma função devolve um número, ou que um objeto tem uma forma específica. Um compilador (tsc) lê o seu código anotado, verifica-o quanto a erros de tipo, e depois remove os tipos para produzir JavaScript comum. Os tipos existem apenas em tempo de desenvolvimento — o código que lança é JS puro.

Crucialmente, grande parte disto é automática. O TypeScript tem uma poderosa inferência de tipos: deduz os tipos a partir do contexto, pelo que não tem de anotar tudo. Usa também tipagem estrutural — dois tipos são compatíveis se tiverem a mesma forma, não por partilharem um nome — o que se ajusta ao estilo flexível do JavaScript em vez de o combater.

As funcionalidades que importam

Algumas funcionalidades fazem a maior parte do trabalho. As interfaces e os alias de tipo descrevem a forma de objetos e assinaturas de função. Os tipos union permitem que um valor seja um de vários tipos (por exemplo string ou número). Os generics permitem-lhe escrever código reutilizável que funciona em vários tipos mantendo-se type-safe. E o tooling do editor construído sobre tudo isto — autocompletar, documentação inline, refactoring seguro — é muitas vezes o maior ganho do dia a dia.

• TypeScript = um superconjunto tipado de JavaScript que compila para JS puro (construído pela Microsoft)
• Apanha erros de tipo enquanto escreve / em tempo de compilação, não em tempo de execução
• Inferência de tipos + tipagem estrutural: menos anotação, ajusta-se ao estilo do JavaScript
• Funcionalidades-chave: interfaces/tipos, tipos union, generics, excelente tooling do editor
• Adoção gradual: acrescente-o ficheiro a ficheiro a um projeto JavaScript existente
• Ressalva: apenas em tempo de compilação — valide na mesma os dados em tempo de execução (rede/input do utilizador)

O TypeScript é também gradual. Pode adotá-lo ficheiro a ficheiro, permitir JavaScript puro ao lado, e apertar a rigidez ao longo do tempo. Isso torna realista migrar um projeto JavaScript existente de forma incremental em vez de o reescrever de raiz.

TypeScript vs JavaScript

Então qual deve usar? Para um script minúsculo, o JavaScript puro serve e não tem passo de build. Para qualquer coisa que vá crescer — uma aplicação real, uma biblioteca partilhada, uma base de código de equipa — o TypeScript compensa-se a si próprio apanhando erros cedo e tornando o código autodocumentado. A maioria das frameworks de front-end e ferramentas de build modernas oferece suporte TypeScript de primeira linha precisamente por esta razão.

Os compromissos, com honestidade

Não é gratuito, no entanto. Há um passo de build/compilação e alguma configuração a montar. Há uma curva de aprendizagem, e os tipos avançados podem ficar genuinamente complicados. E — importante — o TypeScript verifica os tipos apenas em tempo de compilação; não os impõe em tempo de execução, pelo que os dados vindos da rede ou dos utilizadores continuam a precisar de validação. Os tipos apanham os seus erros, não os do mundo exterior.

A conclusão honesta: o TypeScript é JavaScript com uma rede de segurança. Não tornará bom um mau desenho, mas remove uma grande categoria de bugs evitáveis e torna as grandes bases de código muito mais sustentáveis. Para qualquer coisa para além de um script rápido, tornou-se a opção padrão sensata.