Автоматизация проверки типов с помощью инструментов mypy и pyre https://engineering.fb.com/2020/08/07/security/pysa/ https://pyre-check.org/docs/pysa-basics/