Я ищу Python-линтер, который может проверять использование типов в соответствии с подсказками типов в коде.
Цель состоит в том, чтобы запустить одну проверку, которая проверяет стиль, логику и ошибки типов.
Мне нужно запустить это на CI-сервере и в качестве средства просмотра файлов во время разработки.
Например, мне нужен этот код для вывода ошибки при передаче неверного аргумента типа -
def double(x: int):
return x * 2
result = double('hello')
У меня естьпроверил документацию по PyLint и flake8 и не смог найти никакой поддержки для проверки типов.
С PyLint я также удостоверился, что при проверке вышеуказанного кода ошибок нет.