Statische Typprüfung in Python
Referent:
Frank Becker (Software Developer, Amazon Development Center Germany GmbH)
Termin: Sonntag, 10:00, Raum 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.
Webseite: https://docs.python.org/3/library/typing.html#module-typing
Erwünschte Vorkenntnisse: Programmiergrundkenntnisse
Weitere Informationen: Kurz-Paper
Download MP3 (47) Download OGG (25 MiB)
Download MP4 (997 MiB)