
Tipagem estática em Python e módulo mypy O Python é uma linguagem de tipagem dinâmica, ou seja, as variáveis podem mudar de tipo durante a execução do programa. No entanto, desde a versão 3.5, a linguagem ganhou suporte a type hints (anotações de tipo) através do módulo typing. Com essas anotações, podemos usar ferramentas como mypy para verificar o código estaticamente e encontrar erros antes de executar o programa. Benefícios da Tipagem Estática Detectar erros mais cedo (sem precisar rodar o código). Melhorar a legibilidade e documentação do código. Auxiliar IDEs e editores (autocompletar, linting, refatoração). 1. Tipos Primitivos Os tipos mais comuns podem ser usados sem o módulo typing: def boas_vindas(self) -> str: return "Seja bem vindo(a) ao estudo de tipagem estática em Python!" def somar(self, num1: int, num2: int) -> int: return num1 + num2 def multiplicar(self, num1: float, num2: float) -> float: r...