Hypermodern Python Tooling

Kapitel 10. Verwendung von Typen für Sicherheitund Inspektion

Diese Arbeit wurde mithilfe von KI übersetzt. Wir freuen uns über dein Feedback und deine Kommentare: [e-mail]

Was ist ein Typ? Als erste Annäherung kann man sagen, dass der Typ einer Variablen die Art von Werten angibt, die du ihr zuweisen kannst - zum Beispiel ganze Zahlen oder Listen von Zeichenketten. Als Guido van Rossum Python entwickelte, gab es in den meisten gängigen Programmiersprachen zwei Arten von Typen: statische und dynamische Typisierung.

Instatisch typisierten Sprachen wie C++ musst du die Variablentypen im Voraus deklarieren (es sei denn, der Compiler ist intelligent genug, um sie automatisch abzuleiten). Im Gegenzug stellen die Compiler sicher, dass eine Variable immer nur kompatible Werte enthält. Dadurch werden ganze Klassen von Fehlern eliminiert. Außerdem ermöglicht es Optimierungen: Die Compiler wissen, wie viel Platz die Variable benötigt, um ihre Werte zu speichern.

Dynamisch typisierte Sprachen brechen mit diesem Paradigma: Sie erlauben es dir, jeder Variablen einen beliebigen Wert zuzuweisen. Skriptsprachen wie JavaScript und Perl wandeln Werte sogar implizit um - zum Beispiel von Zeichenketten in Zahlen. Dadurch wird das Schreiben von Code radikal beschleunigt. Es gibt dir aber auch mehr Spielraum, um dir selbst in den Fuß zu schießen.

Python ist eine dynamisch typisierte Sprache, die einen Mittelweg zwischen den beiden Lagern wählt. Wir wollen diesen Ansatz anhand ...