#tipagem — Public Fediverse posts

tinha um TypeError em produção esperando pra acontecer: um campo "desconto" chegando como string "0" em vez de número 0, vindo de uma integração externa. três camadas de código depois é que o python reclamava.

novo post sobre por que isso não é "python ser fracamente tipado" (não é, ele é fortemente tipado), e como o mypy roda estaticamente e pegaria esse erro antes do deploy, sem precisar de nenhum teste cobrir esse caso específico.

também entra a sintaxe moderna de type hints (list[int], X | None) e os casos em que tipagem dinâmica continua sendo uma vantagem, não um problema.

https://www.riverfount.dev.br/posts/bug_mypy_pegaria_antes_deploy/

#python #tipagem #mypy #typehints