概要
Dropbox が Github 上で mypy-PyCharm-pluginというプロジェクトを公開してくれています。
忘れないうちにメモメモ。
どういうプラグイン？
元々 PyCharm には、独自の検証機能が付いています。(PEP-484) (IDE & Linter Integrations)
基本的に、これで満足することが多いのですが、mypyでも検証したいなってときもあります。
mypyだと、プロジェクト全体のファイルを対象として処理を行ってくれるので。
現状、そのような場合外部ツールとして登録するとかして実行することになります。
dropboxはpycharm用のプラグインにしてくれて、内部でmypyを実行して結果を表示するエリアを用意してくれています。
インストール
現状、pycharmの「Settings」--> 「Plugins」のところから検索しても出てきませんでした。(2018/05/30時点)
なので、以下のようにしました。
git clone
$ git clone https://github.com/dropbox/mypy-PyCharm-plugin.git
「Install plugin from disk」から指定
pycharmの「Settings」--> 「Plugins」のところにある「Install plugin from disk...」釦押下して「mypy-plugin.jar」を指定します。
後はPyCharmを再起動したらオッケイ。
Windowsは動作しない？
んで、ちょっと試してみようと思ったらエラーになりました。原因はここ。
まだバージョンも 0.1.1 とかなので、これからですね。
でもすごく期待大なプラグインです。
過去の記事については、以下のページからご参照下さい。
- いろいろ備忘録日記まとめ
サンプルコードは、以下の場所で公開しています。
- いろいろ備忘録日記サンプルソース置き場
