Type Checking - Definição do Glossário CI/CD
Type checking verifica se os valores são usados de forma consistente com seus tipos declarados ou inferidos antes de o código rodar, capturando classes inteiras de bugs, como passar uma string onde se espera um número. As ferramentas incluem TypeScript (tsc), mypy e o compilador Go.
Na CI
Execute tsc --noEmit ou mypy . como um check autônomo para que erros de tipo falhem rapidamente, independentemente de a suíte de testes exercitar ou não o caminho quebrado.