概要 Dropbox が Github 上で mypy-PyCharm-pluginというプロジェクトを公開してくれています。 忘れないうちにメモメモ。 github.com どういうプラグイン？ 元々 PyCharm には、独自の検証機能が付いています。(PEP-484) (IDE & Linter Integrations) 基本…