static type checking
بررسی سازگاری typeها بدون اجرای برنامه، با ابزارهایی مانند mypy، Pyright و Pyre و با کمک type hints.
این تعریف را هوش مصنوعی از روی مطالب فیدآپ نوشته است.
مطالبی با این مفهوم
- Python
Protocol در Python؛ بررسی سازگاری typeها بدون اجبار به inheritance
آموزش Real Python توضیح می‌دهد Protocol چگونه با structural subtyping، امکان static duck typing را فراهم می‌کند؛ یعنی بررسی سازگاری classها بر اساس ساختارشان، نه صرفاً inheritance.