Mypy — это разрабатываемый открыто анализатор типов для Питона с поддержкой PEP 484.
На заметку
Зарегистрированные пользователи могут оценивать Книги, Видео, Статьи и прочее, а также добавлять их в избранное, для упрощения доступа к ним в будущем.