Python 3.5 で導入された入力ヒントを試していますが、ローカル スタブを mypy の入力ヒントとして使用すると問題が発生します。
私が行う実験は、 kk.py を含む作成することです
def type_check(a):
pass
また、 kk.pyi を含むものを入れます
def type_check(a: int):...
同じディレクトリにあります。このように、kk.py の type_check に文字列を渡すことで、"ncompatible types in assignment" のエラーをトリガーしようとしました。ただし、mypy kk.pyを実行してもエラーは発生しません。
したがって、mypy doc が示唆する別の方法を試しました。これは、環境変数 MYPYPATH を ~/some/path/stub に設定し、kk.pyi をディレクトリに配置することです。ただし、同じエラーが発生しました。
誰でもこれについて私を助けることができますか?
これは、ローカル スタブの使用方法に関する mypy wikiです。