問題タブ [mypy]

Python 3.5 を使用しており、mypyを使用して静的型チェックを有効にしたいと考えています。しかし、二分木を定義しようとするとエラーが発生します。

エラーメッセージ：

クラスが定義される前に、mypyはクラスを使用できないようですよね？

python 3.5.1 で。および git を使用した mypy の現在のインストールでは、mypy はエラー 1 と 2 をフラグしますが、3 は報告しません

これはバグですか、それとも既知の問題ですか?

新しいバージョンは 2.7 をサポートする必要がありますが、それを pip でインストールすると、Python 3 の型注釈構文の行で SyntaxError が発生して失敗します (これはちょっと皮肉なことです)。

私は次のような設定をしています：

は__main__.pyバックエンド ファイルと の両方をbackend2.pyインポートして使用しますbackend1.py。私はそれを次のようにしていました：

__main__.py:

backend2.py:

それはうまくいきましたが、今は mypy (Python 静的型チェッカー) を使用しています。これには、すべてのインポート パスが に対して相対的である必要がある__main__.pyため、backend2.py は次のようになります。

mypy は問題ないと言っていますが、実行しようとすると次のエラーが発生します。

そのスタイルでインポートを許可する方法はありますか?の実行パスからのインポートを許可し__main__.pyますか?

次のプログラムを検討します。

mypy2 番目の print() で文句を言うのはなぜですか?

Python 3.5.1、Ubuntu 16.04 で mypy 0.3.1 を使用しています。

編集: これは mypy のバグのようです。

API を呼び出すメソッドがあり、その API は 2 つのキーを含む dict で応答します: all, owner(実際には、特定のリポジトリのコミット アクティビティを取得するのは Github api です)

新しく統合されたモジュール/システムを Python 3.5 で遊んでいますが、返されるキーにこれら 2 つのキー (と)が含まtypingれていることを実際に指定するカスタム型を作成できるかどうかを知りたいです。Dictallowner

これが私がこれまでに持っているものです：

TypeRepositoryCommitActivity = Dict[str, List]

これらは明らかに一緒に組み立てられたプリミティブ型なので、もう少し深く強制するにはどうすればよいですか?

次のようなものがあります。

myfile.py で:

file1.py で

mypy を使用して楽しい関数に注釈を付けたいと思います。次の方法で実行しましたが、うまくいきましたが、理想的ではありません。楽しみのように、メッセージは int 型であることがわかっているので、int のようなもので引数に注釈を付ける必要があります... mypy を使用してどのように達成できますか。

Python 3.5 で導入された入力ヒントを試していますが、ローカル スタブを mypy の入力ヒントとして使用すると問題が発生します。

私が行う実験は、 kk.py を含む作成することです

また、 kk.pyi を含むものを入れます

同じディレクトリにあります。このように、kk.py の type_check に文字列を渡すことで、"ncompatible types in assignment" のエラーをトリガーしようとしました。ただし、mypy kk.pyを実行してもエラーは発生しません。

したがって、mypy doc が示唆する別の方法を試しました。これは、環境変数 MYPYPATH を ~/some/path/stub に設定し、kk.pyi をディレクトリに配置することです。ただし、同じエラーが発生しました。

誰でもこれについて私を助けることができますか?

これは、ローカル スタブの使用方法に関する mypy wikiです。

私は Python 3.5.1 と、新しくリリースされたMyPy v0.4.1 静的型アナライザーを使用しています。

エラーを再現するために必要なこの可能な限り単純な python クラスに縮小した、より複雑なコードがいくつかあります。

型チェッカーを実行mypy test.pyすると、次のエラーが発生します。

これらのドキュメントに基づく私の理論は__eq__、__ne__オブジェクトには既に定義された型があり、これらの型のサブクラスの再定義と衝突しているというものです。私の質問は、これらの型を定義__eq__して、選択した型で型チェックされていることを確認する方法です。