"Python is a dynamic language, which gives its users a lot of power. But, as we know, with great power comes great responsibility. Fortunately for us, we can incorporate a tool in our workflows - Mypy. Mypy allows developers to add a layer of safety in their programs - static type annotations. During my talk, I will show you why PEP484 type annotations can be helpful, how to check them, and gradually introduce them in your codebase. Additionally, I want to show some tricks to make the dynamic parts safer. Finally, I will also show situations where Mypy falls short and how to avoid them." 00:00 Intro 00:05 Talk 23:14 Q&A About the speaker: Michał's professional coding career started in 2014 in Ruby. Since that time, he has managed to work in Scala, Java, and Python. He is interested in security and open-source intelligence. In addition, he love's to have correct and well-tested software running on production.