Python 类型契约

将类型提示视为界面设计，而不是装饰。专注于显式契约、稳定的公共 API 和边界安全建模。