April 2025
Intermediate to advanced
380 pages
10h 16m
Portuguese (Portugal, Brazil)
Content preview from Python robusto
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,
O’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.I wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.I’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.I'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.
Capítulo 6. Personalizar o verificador de tipos
Este trabalho foi traduzido com recurso a IA. Agradecemos o teu feedback e comentários: translation-feedback@oreilly.com
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".1 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."2 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 ...
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
More than 5,000 organizations count on O’Reilly
O’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.Julian F.
I wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.Addison B.
I’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.Amir M.
I'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.