IDE integration

[rchen152]

Users have expressed that they'd prefer to be able to work with pytype in their IDE, rather than switching back and forth to the command line.

[shihangw]

What IDEs are in your radar?

[rchen152]

We started some preliminary work on supporting PyCharm, but we'll likely just go by what IDEs are popular among Python users. (We're not actively working on this feature request because the pytype team is stretched pretty thin with internal work at the moment.)

[shihangw]

Awesome, looking forward to the IDE integration - for me that’s one of deal breaker to use MyPy.

…

On Mon, Jun 24, 2019 at 15:52 Rebecca Chen ***@***.***> wrote: We started some preliminary work on supporting PyCharm, but we'll likely just go by what IDEs are popular among Python users. (We're not actively working on this feature request because the pytype team is stretched pretty thin with internal work at the moment.) — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#326?email_source=notifications&email_token=AAZGCM4RUNBUT4FYFJAO35TP4FF27A5CNFSM4HQUAPW2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODYOOOLQ#issuecomment-505210670>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAZGCMZDTCD52CBTK4HJHMTP4FF27ANCNFSM4HQUAPWQ> .