仕事でPython を使っていた型チェックがほしいときがあって、今Pyiファイルをつくっています。
TL;DR
pyi ファイルからpyiファイルを読み込むと型情報が落ちてしまうらしい。
github.com
要は以下のようなフォルダ構成を考える
├── hello-stubs
│ │ ├── __init__.pyi
│ │ ├── api.pyi
│ │ └── operation.pyi
api.pyiはoperation.pyiのメソッドをimportしているとする。
このときに残念ながらimportのところの型チェックでそんなメソッドはないぞっていうエラーがでてしまう。
続きはまた明日書く
