Keep on moving

あんまりまとまってないことを書きますよ

pyiファイルに2つの意味ではまってるはなし(仮)

仕事でPython を使っていた型チェックがほしいときがあって、今Pyiファイルをつくっています。

TL;DR

pyi ファイルからpyiファイルを読み込むと型情報が落ちてしまうらしい。

github.com

要は以下のようなフォルダ構成を考える

   ├── hello-stubs
│   │   ├── __init__.pyi
│   │   ├── api.pyi
│   │   └── operation.pyi

api.pyiはoperation.pyiのメソッドをimportしているとする。 このときに残念ながらimportのところの型チェックでそんなメソッドはないぞっていうエラーがでてしまう。 続きはまた明日書く