Elektrine lite

← Feed

@riverfount@bolha.us

Post #3805610

2026-06-26 12:04 UTC

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

Replies (0)

No replies.