Der statische Typechecker für Python, Mypy, ist in Version 0.4 erschienen. Die Software bringt ein paar neue Schalter mit und arbeitet fixer.
Ein Blogpost von Jukka Lehtosalo, dem Hauptentwickler von Mypy, stellt die Highlights des neuen Release vor. Noch experimentell sei ein inkrementeller Type-Checking-Modus, der sich über den Parameter “–incremental” aktivieren lässt. Er überprüfe große Programme schneller, indem er zwischengespeicherte Resultate vorheriger Programmläufe wiederverwende.
Daneben habe Entwickler David Fisher einen experimentellen Parser implementiert, der auf dem “ast”-Modul aus der Standardbibliothek basiere. Er lasse sich über “–fast-parser” aktivieren und gebe ebenfalls einen Performanceschub. Wer ihn nutzen möchte, muss zuvor über “pip install type-ast” das passende Modul installieren.
Daneben stellt der Hauptentwickler einige Schalter vor, die Mypy neuerdings kennt. Zum Beispiel generiert “–disallow-untyped-defs” Fehler für Funktionen ohne Type Annotations, während “–disallow-untyped-calls” Mypy dazu bewegt, sich über nicht-typisierte Funktionen zu beschweren. Weitere Infos liefert der Blogeintrag.
