いろいろ備忘録日記

主に .NET とか Go とか Flutter とか Python絡みのメモを公開しています。

Pythonメモ-80 (dropboxがmypy-Pycharm-pluginをGithubで公開) (mypy, pycharm, プラグイン, jar)

概要

Dropbox が Github 上で mypy-PyCharm-pluginというプロジェクトを公開してくれています。

忘れないうちにメモメモ。

github.com

どういうプラグイン?

元々 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は動作しない?

んで、ちょっと試してみようと思ったらエラーになりました。原因はここ。

mypy-PyCharm-plugin/MypyRunner.java at 12156d786fe87b8a23090b63ecf1cd48e028666a · dropbox/mypy-PyCharm-plugin · GitHub

まだバージョンも 0.1.1 とかなので、これからですね。

でもすごく期待大なプラグインです。


過去の記事については、以下のページからご参照下さい。

  • いろいろ備忘録日記まとめ

github.com

サンプルコードは、以下の場所で公開しています。

  • いろいろ備忘録日記サンプルソース置き場

github.com

github.com