Explore the world of static type-checking in Python through this EuroPython 2015 conference talk. Delve into PEP 484, which introduces type hints for Python 3.5, and understand the ongoing debate surrounding it. Learn about static type systems, their purpose, and how they can be leveraged in a dynamically typed language like Python. Examine Guido van Rossum's proposal for type hinting and its potential impact on your coding practices. Discover libraries such as Hypothesis and QuickCheck-inspired tools that enhance test robustness, along with their capabilities and limitations. Through numerous examples, gain insights into type systems and their practical applications. By the end of the talk, acquire the knowledge to make informed decisions about incorporating type hints and external libraries for fuzz testing in your Python projects.