A IA Venceu a Guerra do TypeScript
O debate acabou. O TypeScript não venceu por causa de melhores argumentos. Ele venceu porque as ferramentas de IA tornaram o debate irrelevante.
Pesquisadores encontraram um padrão fundamental. A maioria das falhas de compilação em código gerado por IA são incompatibilidades de tipos (type mismatches). Estes não são erros de lógica. São erros simples onde o formato de uma função ou de um argumento está incorreto.
A IA gera código rapidamente seguindo padrões. Ela não possui um modelo mental completo de toda a sua base de código. Um humano pode identificar um erro de tipo por meio da experiência. Um verificador de tipos (type checker) o identifica instantaneamente, sem qualquer contexto.
A tipagem estática não é mais uma escolha de estilo. É uma ferramenta de segurança para código escrito por IA.
Veja como isso afeta o seu trabalho diário:
Base de código dinâmica com IA:
- A IA escreve uma função.
- Os tipos são implícitos.
- Você deve encontrar os erros manualmente.
Base de código estática com IA:
- A IA escreve uma função.
- O verificador de tipos sinaliza os erros imediatamente.
A taxa de erro é a mesma. O custo para corrigi-los é diferente. É por isso que a adoção do TypeScript continua crescendo. Os tipos funcionam como um seguro barato quando um não-humano escreve o seu primeiro rascunho.
Esta regra também se aplica a outras linguagens. Rust é ainda mais útil aqui. O borrow checker impede bugs de memória e concorrência que a IA frequentemente introduz. Esses bugs parecem corretos localmente, mas falham durante o tempo de execução (runtime).
As linguagens estão vencendo porque tornam o desenvolvimento assistido por IA mais seguro para revisão.
Se você lidera uma equipe, siga estes passos:
- Adicione tipagem primeiro nas fronteiras (boundaries).
- Foque em assinaturas de funções e contratos de API.
- Proteja as áreas onde os dados se movem entre módulos.
Um aviso: a segurança de tipos não é uma solução milagrosa. Ela captura os bugs aos quais a IA é propensa. Ela não captura lógica ruim ou requisitos errados. Um código que compila nem sempre está correto. O verificador de tipos é um cinto de segurança, não o motorista.
Sua equipe usa o modo estrito (strict mode) por padrão? Conte-me o que você pensa abaixo.