Static type-checking is dead, long live static type-checking in Python!
summary
Argues that Python can gain static-type benefits without becoming statically typed by combining PEP 484 type hints and tools like MyPy and IDE support (PyCharm) with fuzzing/property testing tools such as Hypothesis. Shows concrete effect: Hypothesis finds a failing case in an LZW compress/decompress implementation (empty-string failure), MyPy flags mismatched argument/return types, and linters (pylint/pyflakes) catch undeclared or dead-code issues, reducing the space needing manual tests.
AI-written summary · about
chapters (9)
- 0:00Intro
- 1:30Type systems
- 9:18Static type language
- 11:48PyCharm
- 13:32Violent
- 15:19Fix
- 17:25Type hints
- 19:03Hypothesis
- 22:24Conclusion
related talks
22mStatic Typing in Python
29mStatic Typing in Python
32mStatic Typing in Python
35mStatic Typing in Python
46mHow to make a static type checker your best friend
27m"How to Use Static Typing in Python with Type Hints, MyPy and Pydantic"
28mMind the gap! Why static typing requires more than just adding annotations
32mPython's New Type Hints in Action… In JavaScript