mypy in an Unnatural Habitat: Benches, Perf and Portable

When the code base is 10,000,000 lines of code, you can't just put mypy --strict and be happy. You have to test everything, and you have to consider CI requirements and performance. So I took mypy, Pyright and red_knot and crisscrossed them with all versions of Python + JIT, nogil, tail-call and PyPy.

The talk is a complete guide to selecting a static type analyzer.