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.
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.
Folgende Personen haben ihr Kommen angekündigt:
Diese Liste enthält derzeit nur Anmeldungen auf Meetup.com.
Brockmanngasse 15 - 8010 Graz