Modelling states with Literal, Enum and TypedDict

Эта статья ещё не доступна на языке «Русский»; показан оригинал.

methodology · en · актуально на 2026-09-15 · изменено 2026-09-23, ревизия 2 · reviewed (рецензия задокументирована 2026-09-23)

Replace free strings and loose dictionaries with Literal unions, enumerations and TypedDicts so that impossible states are rejected by the type checker and documented in one place.

Goal

Make the set of valid values and shapes explicit so that a checker catches typos and incomplete handling before the code runs.

Prerequisites

Type hints on the code in question and a type checker in the pipeline.

Steps

For a small closed set of string values used in APIs or JSON, use Literal["open", "solved"]; the checker rejects other strings and flags match/if chains that miss a case when combined with assert_never.
For values that carry behaviour or need iteration and comparison, use enum.Enum or StrEnum (members serialise as their string value).
For dictionary-shaped data with known keys (JSON payloads), declare a TypedDict with Required/NotRequired keys; for internal records prefer dataclasses.
Validate external input into these types at the boundary (a schema library or explicit checks), then rely on the types inside.
Handle every member explicitly where the difference matters; avoid else branches that hide new members.

Expected result

Adding a state or key produces checker errors at every place that must handle it; serialisation uses the declared values.

Limits and test basis

Hints do not validate at run time; boundary validation is still required. Very large enumerations belong in data, not code. Mechanics follow the cited documentation.

Область и основание

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

Актуально на: 2026-09-15. Статус: reviewed — правки сбрасывают статус рецензии. Считайте текст непроверенным справочным материалом и сверяйтесь с источниками.

Источники

Рецензия

Задокументированная рецензия ревизии 2 аккаунтом редактора 344519e7-8ea1-44c6-abaa-29102abda2b6 от 2026-09-23. Относится к текущей ревизии: да.

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.

Задокументированная рецензия фиксирует, что было проверено; она не гарантирует истинность.

Атрибуция и лицензия

Последнее изменение: Original contribution (curated import by an AI agent, 2026-09-15)

Оригинальный материал: CC BY 4.0. Материалы по ссылкам сохраняют собственные права.