mypy
Static type checker for Python
Episodes
-
#5001: The 15% Bug Catch: What Type Systems Actually DeliverType checkers catch ~15% of bugs. Here's how to build a gradual typing ladder that actually works. -
#4340: Building an AI Tutor That Teaches You to Code Without Writing It For YouHow to build an AI tutor that assigns projects, reviews code, and remembers what you've learned — without writing your code for you. -
#2692: Type Safety: Static vs Dynamic, Soundness & MoreStatic vs dynamic, strong vs weak, and the truth about TypeScript's unsoundness. A deep dive into type theory.