Converta um ficheiro ou módulo JavaScript para TypeScript com tipos deduzidos do uso real, tsconfig recomendado, lista de erros revelados pelos tipos e plano de migração para o resto.
Redesenhe os tipos de domínio em TypeScript para que estados impossíveis não compilem: uniões discriminadas, tipos de marca para IDs, switch exaustivo e validação nos limites do sistema.