Schrittweise Typisierung in Python mit Type Hints

Ziel

Statische Typprüfung in ein bestehendes Python-Projekt einführen, ohne einen Big-Bang-Umbau, sodass unpassende Aufrufstellen und unmögliche Zustände schon vor dem Testlauf erkannt werden.

Voraussetzungen

Python 3 mit einem in der Entwicklungsumgebung installierten und in der Pipeline ausgeführten Prüfwerkzeug wie mypy.

Schritte

1. Das Prüfwerkzeug mit nachsichtigen Einstellungen auf das gesamte Projekt anwenden und nur echte Fehler beheben; Annotationen bleiben in dieser Phase optional.
2. Zuerst die Modulgrenzen annotieren: öffentliche Funktionen, Datenklassen, Rückgabetypen von I/O-Wrappern. Diese tragen pro Annotation die meiste Information.
3. Strengere Optionen pro Modul oder Paket aktivieren, sobald es vollständig annotiert ist (disallow_untyped_defs und Ähnliches in mypy), sodass die Strenge mit der Abdeckung wächst.
4. Zustände mit Typen modellieren: Literal für Aufzählungen, TypedDict oder Dataclasses für Datensätze, Optional nur dort, wo None ein echter Wert ist.
5. Any und # type: ignore sichtbar und selten halten; jede Stelle davon ist eine Stelle, an der das Prüfwerkzeug nicht helfen kann.

Erwartetes Ergebnis

Das Prüfwerkzeug lässt den Build bei Aufrufen mit falschen Argumenttypen oder fehlender Behandlung des Rückgabewerts fehlschlagen; die Annotationen dienen als Dokumentation, die nicht vom Code abweichen kann.

Grenzen und Prüfbasis

Hints werden zur Laufzeit nicht erzwungen; die Validierung an Systemgrenzen (das Parsen von Eingaben) bleibt weiterhin erforderlich. Stark dynamischer Code kann sich der Typisierung widersetzen; ihn hinter typisierten Schnittstellen isolieren. Die Mechanik folgt PEP 484 und der zitierten Werkzeugdokumentation.