Eclipse + PyDev: использовать строку документации для проверки типа (например, PyCharm)

Question

Я очень впечатлен возможностями PyCharm для обнаружения ошибок в моем коде, проверяя подсказки типов в строках документов:

def f(a):
    """Some docs here

    :type a: int
    :rtype: str
    """
    ...

, и я пытаюсь воспроизвести его в PyDev.

Как описано в docs , PyDev может использовать строку документации для вывода параметров и возвращаемых типов:

Итак, я могу попросить PyDev разрешить методы (Ctrl + Space) на основе типа переменной, но я могу не используйте его для проверки кода, чтобы убедиться, что я не использую переменные неправильно.

Возможно ли включить эту проверку во время анализа кода в PyDev?

Answer 1

PyDev на самом деле не выполняет проверку типов для экземпляров / параметров (даже если он знает тип для завершения кода, как в этом случае) ... сейчас он только жалуется на токены, не найденные при импорте.

Итак, на данный момент, это будет запрос функции для PyDev ... Я не реализовал это до сих пор, потому что знание типа может быть сложным, но я думаю, что когда он на 100% уверен в типе (из подсказка типа), он мог бы действительно выполнить этот анализ - его тоже было бы достаточно просто реализовать, поэтому главная проблема - у меня есть время, чтобы сделать это - или чтобы кто-то сделал это;)