Python robusto

Capítulo 6. Personalizar o verificador de tipos

Este trabalho foi traduzido com recurso a IA. Agradecemos o teu feedback e comentários: [e-mail]

Os typecheckers são um dos teus melhores recursos para construir bases de código robustas. Jukka Lehtosalo, o principal desenvolvedor do mypy, oferece uma definição concisa e bonita de typecheckers: "Em essência, [um typechecker] fornece documentação verificada".¹ As anotações de tipo fornecem documentação sobre a tua base de código, permitindo a outros programadores a capacidade de raciocinar sobre as tuas intenções. Os typecheckers usam essas anotações para verificar se a documentação corresponde ao comportamento.

Por isso, um verificador de tipos é inestimável. Confúcio disse uma vez: "O mecânico, que deseja fazer bem o seu trabalho, deve primeiro afiar as suas ferramentas."² Este capítulo é sobre como afiar o teu typechecker. Boas técnicas de codificação podem levar-te longe, mas são as ferramentas que te rodeiam que te levam ao próximo nível. Não te limites a aprender o teu editor, compilador ou sistema operativo. Aprende também o teu verificador de tipos. Vou mostrar-te algumas das opções mais úteis para tirares o máximo partido das tuas ferramentas.

Configurar o verificador de digitação

Vou focar-me num dos typecheckers mais populares que existe: mypy. Quando executas um typechecker num IDE (como o PyCharm), este tipicamente executa o mypy por debaixo dos panos (embora muitos IDEs te permitam alterar o typechecker ...