mypy в неестественной среде обитания: benches, perf и portable

Когда кодовая база на 10 000 000 строк кода, не получится просто взять и поставить mypy --strict и быть довольным. Нужно всё протестировать, а также учесть требования CI и перформанс. Поэтому я взял mypy, Pyright и red_knot и «скрестил» их со всеми версиями Python + JIT, nogil, tail-call и PyPy.

В докладе — полный гайд по подбору статического анализатора типов.