Pyright

Python 类型标注：10 个技巧让 IDE 帮你抓 80% 的 bug