私はヒントを持つプロジェクトを持っています(Python 3.5.2)。私はタイプヒントで指定された制約が尊重されていることを確認するために静的チェッカーを実行したいと思います。このために使用できるツールは何ですか?私は参照を見つけることができませんでしたcorresponding PEPpython型ヒントチェックのコンソールツール
1
A
答えて
2
Mypyおそらくあなたが探しているものです。これはコンソールベースのツールで、PEP 484型アノテーションを使用してPythonコードの型チェックを行うことができます。 PEP 484で言及されていないのは、mypyが唯一可能な型チェッカーであるという固有の理由がないからです。Pycharmは、PEP 484アノテーションに基づいて同様のものを実装しています。
Mypyはまだアクティブな開発/ベータモードの下にありますので、時折起こるバグに遭遇するかもしれませんが、比較的安定しています。
+0
ありがとう、私はそれを試してみましょう! – dangonfast
関連する問題
- 1. jqコンソールツールで時間枠をフォーマットします
- 2. カスタムダック型のPython型アノテーション
- 3. 型エラー:Pythonの
- 4. Python対話型シェル型アプリケーション
- 5. Python型の__flags__は
- 6. Python-ブール型のクロスチェック
- 7. aptana python型エラー
- 8. Pythonデータ型
- 9. pythonアトミックデータ型
- 10. Pythonのdatetime型の変換
- 11. Pythonのデータ型の比較
- 12. Pythonのデータ型の提案
- 13. Python型オブジェクトのインスタンスのチェック
- 14. Python Numpyデータ型パフォーマンス
- 15. 型宣言pythonエラー
- 16. Pythonの分散型マルチプロセッシングプール
- 17. 対話型のpython/djangoチュートリアル
- 18. ブール型コンテキスト内のPython namedtuple
- 19. Pythonの対話型シェルプログラムラッパー
- 20. Pythonビルトイン型の拡張メソッド!
- 21. Pythonのリフレクションと型変換
- 22. JavaとPythonの型チェック
- 23. Pythonのデータ型条件
- 24. Pythonオブジェクトの型キャストとXML
- 25. のpython kinterbasdb - varchar型とブロブ
- 26. Pythonの列挙型クラス
- 27. のpython関数型プログラミングpyspark
- 28. Pythonの文字列型エラー
- 29. のPython-ピョなし型エラー
- 30. 対話型slackbotのプログラミング - Python
* "実行時型チェックのためのいくつかのビルディングブロック、特にget_type_hints()関数が含まれていますが、サードパーティ製のパッケージを開発する必要があります。 * PEPは明示的に特定のツールを定義したり推奨したりしていませんし、どちらも使用できません。個人的に私はPyCharmが役に立つと思っていますが、あなたが探しているものではないかもしれません。 – deceze
@deceze:ありがとうございますが、私はコンソールツールを探しています。タイトルが編集されました。 – dangonfast