Michał Gutowski – Static Type Checking With Mypy – SPS22

"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.

Talk recorded at the Swiss Python Summit on September 22nd, 2022.

Licensed as Creative Commons Attribution 4.0 International.