問題タブ [mypy]

@classmethodのインスタンスを返すにどのように注釈を付ける必要がありますclsか? 悪い例を次に示します。

これは を返しますがFoo、より正確には this のどのサブクラスFooが呼び出されても返すため、 で注釈を付けるだけで-> "Foo"は十分ではありません。

いくつかの Python ソース コードがあり、変数の型を調べたいと考えています。たとえば、文字列が与えられた場合

したいget_type('greeting') == str。または、より複雑な例:

疑似コードでは、次のようなことができるようにしたい:

これは、Python 3 の型注釈と MyPy で可能になるはずですが、方法がわかりません。VS コードのような IDE は、Python コードの型を推測するのが非常に得意になっています。

モジュールtyped-astがあり、MyPy でも使用されているようで、そこに行く途中です。ただし、これは型の推論や伝播は行いません。私が理解している限り、明示的な注釈を提供するだけです。MyPy を API として使用しますが、チェッカーを実行することしかできず、コマンド ライン ツールと同じエラー メッセージが返されます。MyPy に「到達」し、推測された情報の一部を取得する方法、または考えもしなかった代替ソリューションを探しています。

Python 3.6 では、このタプル サンプルに問題はありません。

出力：

しかし、mypy 0.511 は混乱しているようで、エラーが報告されます。

mypy が何が起こっているのかを理解できるようにするにはどうすればよいですか?

Python 3 で mypy を使用してログ モジュールに注釈を付けようとしていますが、namer 関数の注釈に問題があります。

mypy を実行すると、_namer を handler.namer に割り当てると、次のエラーが発生します。

mypy が文句を言わないように _namer にどのように注釈を付けるべきか考えていますか?