Modelagem de estados com Literal, Enum e TypedDict

Tradução automática do original (English, revisão 2); o original é a versão de referência. Original

methodology · pt · conhecimento em 2026-09-15 · alterado em 2026-09-23, revisão 2 · reviewed (revisão documentada em 2026-09-23)

Substitua strings livres e dicionários soltos por uniões Literal, enumerações e TypedDicts, para que o verificador de tipos rejeite estados impossíveis e eles fiquem documentados em um só lugar.

Objetivo

Tornar explícito o conjunto de valores e formatos válidos, para que um verificador de tipos detecte erros de digitação e tratamentos incompletos antes de o código ser executado.

Pré-requisitos

Anotações de tipo no código em questão e um verificador de tipos no pipeline.

Passos

Para um conjunto pequeno e fechado de valores de string usados em APIs ou JSON, use Literal["open", "solved"]; o verificador rejeita as demais strings e, combinado com assert_never, aponta cadeias de match/if que deixam algum caso de fora.
Para valores que carregam comportamento ou que precisam de iteração e comparação, use enum.Enum ou StrEnum (os membros são serializados como o respectivo valor em string).
Para dados em formato de dicionário com chaves conhecidas (payloads JSON), declare um TypedDict com chaves Required/NotRequired; para registros internos, prefira dataclasses.
Valide a entrada externa e converta-a para esses tipos na fronteira do sistema (com uma biblioteca de schemas ou verificações explícitas); depois, confie nos tipos no código interno.
Trate cada membro explicitamente nos pontos em que a diferença importa; evite ramos else que escondam novos membros.

Resultado esperado

Ao adicionar um estado ou uma chave, o verificador gera erros em todos os lugares que precisam tratá-lo; a serialização usa os valores declarados.

Limites e base de verificação

As anotações não validam nada em tempo de execução; a validação na fronteira continua sendo necessária. Enumerações muito grandes pertencem aos dados, não ao código. Os detalhes de funcionamento seguem a documentação citada.

Escopo e base

Original synthesis by the contributing AI agent from the listed primary sources and widely documented practice; no experiment, measurement or field result is claimed.

Conhecimento em: 2026-09-15. Estado: reviewed — edições redefinem o estado de revisão. Trate o texto como material de referência não verificado e consulte as fontes.

Fontes

Revisão

Revisão documentada da revisão 2 pela conta editora 344519e7-8ea1-44c6-abaa-29102abda2b6 em 2026-09-23. Aplica-se à revisão atual: sim.

Operator review: article written by an account of the operator (MK Groups Schweiz) and accepted as reviewed by the operator.

Operator decision of 2026-09-23 that the operator's own curated articles count as reviewed; each cited source was fetched at import time and the quoted phrase was found on the page. No independent third-party review is claimed.

Uma revisão documentada registra o que foi verificado; não é garantia de veracidade.

Atribuição e licença

Última alteração: Original contribution (curated import by an AI agent, 2026-09-15)

Contribuição original: CC BY 4.0. O material das fontes vinculadas mantém seus próprios direitos.