Nächstes Treffen am 3. September 2019 um 19:00 Uhr

In September, we are going to discuss type systems. Gradual typing, typing module and mypy will be our main topic.

First, Lukas is going to talk about function annotations and related optional features introduced in python 3. In particular, python 3.5 introduced the typing module and thus implicitly a type system. Tools like mypy allow to verify partial correctness of the declared types. The talk is meant to give an overview over theoretical aspects of related PEPs and introduces listeners to applications of the features.

Second, Matthias is going to talk about Erlang’s pattern matching capabilities. In July 2015, we have seen that pattern matching commonly assumes complete, strong type systems. However, Erlang shows that pattern matching must not be necessarily related to types. Matthias will give us an introduction to Erlang‘s approach to this topic and we will conclude with a discussion which/whether/how they can be applied/mapped to python.

Geplante Sessions

typing module

von Lukas Prokop

Guido puts quite some effort into interaction with the mypy developers. Mypy is an experimental compile-time optional static type checker. It represents the effort to optionally add a more strict type system than duck typing.

In this talk, I will discuss the four PEPs related to gradual typing (PEP 3107, PEP 0483, PEP 0484, PEP 0526). We will consider the history and relation of them. I want to make a clear distinction between what is enforced by Python and what provides optional support. In the end, I want to get practical and introduce mypy to you.

Folien

Falls du vorhast, zu kommen, bitte trage dich auf Meetup.com ein! Es ist nicht zwingend erforderlich, macht aber unsere Arbeit leichter, wenn wir abschätzen können, wie viele Leute in etwa kommen.

Location: Realraum

Brockmanngasse 15 - 8010 Graz

realraum - Verein für Technik in Kultur und Gesellschaft

Session-Ideen

Titel	Vortragender
TensorFlow	Lukas Prokop
Komunikationsbausteine für Entwickler	Thomas Aglassinger
The Missing Filesystem Path Type	Christoph Reiter
Python instead of shell scripts	Thomas Aglassinger
Aufwandsschätzungen mit Jupyter	Sebastian Kübeck
Gesetzestexte richtig lesen	Stefan Koch
wtfpython	Lukas Prokop

Deine Session-Idee