O Primeiro Verificador de Tipos do Bebê: Uma Aventura Python de 350 Linhas

Este artigo detalha a criação de um verificador de tipos básico para Python em apenas 350 linhas de código. O autor percorre o processo, desde a análise de código Python e a localização de anotações de tipos até a verificação de compatibilidade de tipos, o tratamento de chamadas de funções e tipos de retorno, o suporte a listas, dicionários e tipos de união e a implementação de restrição de tipos. Embora limitado em escopo, o verificador de tipos resultante captura com sucesso vários erros de tipo em código Python do mundo real, fornecendo um exemplo claro e acessível de como os verificadores de tipos funcionam.