Kapitel 6. Anpassen deines Typecheckers
Diese Arbeit wurde mithilfe von KI übersetzt. Wir freuen uns über dein Feedback und deine Kommentare: translation-feedback@oreilly.com
Typechecker sind eine der besten Ressourcen, um robuste Codebasen zu erstellen. Jukka Lehtosalo, der leitende Entwickler von mypy, bietet eine wunderbar prägnante Definition von Typecheckern: "Im Wesentlichen bietet [ein Typprüfer] eine verifizierte Dokumentation."1 Typ-Annotationen dokumentieren deine Codebasis und geben anderen Entwicklern die Möglichkeit, deine Absichten zu verstehen. Typprüfer nutzen diese Anmerkungen, um zu überprüfen, ob die Dokumentation mit dem Verhalten übereinstimmt.
Deshalb ist eine Schreibmaschinenprüfung von unschätzbarem Wert. Konfuzius sagte einmal: "Der Mechaniker, der seine Arbeit gut machen will, muss zuerst sein Werkzeug schärfen."2 In diesem Kapitel geht es darum, deinen Typechecker zu schärfen. Tolle Programmiertechniken können dich weit bringen, aber es sind die Werkzeuge, die dich auf die nächste Stufe bringen. Begnüge dich nicht damit, deinen Editor, Compiler oder dein Betriebssystem zu lernen. Lerne auch deinen Typechecker. Ich zeige dir einige der nützlichsten Optionen, um das Beste aus deinen Tools herauszuholen.
Konfigurieren deines Typecheckers
Ich werde mich auf einen der beliebtesten Typechecker konzentrieren: mypy. Wenn du einen Typechecker in einer IDE (z. B. PyCharm) verwendest, wird normalerweise mypy unter der Haube ausgeführt (obwohl viele IDEs es dir ...
Get Robustes Python now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
