Capítulo 3. Anotações de tipo
Este trabalho foi traduzido com recurso a IA. Agradecemos o teu feedback e comentários: translation-feedback@oreilly.com
Python é uma linguagem tipada dinamicamente; os tipos não são conhecidos até ao tempo de execução. Isto é um obstáculo quando tentas escrever código robusto. Uma vez que os tipos estão incorporados no próprio valor, os programadores têm muita dificuldade em saber com que tipo estão a trabalhar. Claro, esse nome parece ser um str hoje, mas o que acontece se alguém o transformar em bytes? As suposições sobre tipos são construídas em terreno instável com linguagens dinamicamente tipadas. No entanto, a esperança não está perdida. Em Python 3.5, introduziste uma nova funcionalidade: anotações de tipo.
As anotações de tipo elevam a tua capacidade de escrever código robusto a um nível totalmente novo. Guido van Rossum, criador do Python, diz isso da melhor forma:
Aprendi uma lição dolorosa: para programas pequenos, a tipagem dinâmica é óptima. Para programas grandes tens de ter uma abordagem mais disciplinada e ajuda se a linguagem te der essa disciplina, em vez de te dizer "Bem, podes fazer o que quiseres".1
As anotações de tipo são a abordagem mais disciplinada, o cuidado extra que precisas para lidar com bases de código maiores. Neste capítulo, aprenderás como usar anotações de tipo, porque são tão importantes e como utilizar uma ferramenta chamada typechecker para impor as tuas intenções em toda a tua base de código.
O que são anotações ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access