Static typing, dynamic typing, strong and weak typing: how a
programming language handles datatypes has always been a point of
passionate discussions for programmers. Python is on the side
dynamically typed languages. For many that's one of the reasons why
they love Python so much; for others it's a source of Runtime Errors
and frustration.

However, since several years there's been an effort (by Guido van
Rossum, among others) to add something new to the Python landscape:
Type Hints and a static type checker. This might mean a big change in
the nature of the Python language and the way our code looks.

In this talk I will go over the theory of type hints, and why they are
added to the language. After that I'll talk about practice; we'll look
at some code and the pro's and cons of static typing. Is static typing
in Python similar to other languages? And what's the impact for a
programmer? Of course there will be room for discussion.