Statische Typprüfung in Python

Speaker:

Frank Becker (Software Developer, Amazon Development Center Germany GmbH)

Scheduled time: Sunday, 10:00, Room V5

Wie viele Scriptsprachen ist Python dynamisch typisiert, d. h. der Typ einer Variablen wird zur Laufzeit bestimmt. Das vereinfacht Programme und deren Programmierung. Statisch typisierte Sprachen haben dagegen den Vorteil, dass eine große Zahl von Bugs bereits während der Kompilierung auffallen und der Code sich besser selbst dokumentiert.
Man kann nicht alles haben – oder doch? Der Vortrag stellt das «typing»-Modul vor, welches diesen Spagat erlaubt. Seit Python 3.5 ist es in der Standard Library enthalten, es gibt auch einen Backport für Python 2.7.
Im zweiten Teil des Vortrags gibt es praktische Hinweise zur schrittweisen Erweiterung bestehenden Codes mittels Type Hints.

Website: https://docs.python.org/3/library/typing.html#module-typing

Desired previous knowledge: Programmiergrundkenntnisse

Further information: Short paper

Audio recording: