Михаил Потанин

Про pycharm мне рассказывали, что там есть пролне адекватный вывод типов, что дерает разработку гораздо удобнее. В vim такие вещи делаются внешним language server, я видел реализакию только для Idris.