このプロジェクトは、静的解析を派生できない ML で Python 変数型を推論する PyCharm プラグインを開発することを目標としています。