Spec: Version and platform checking underspecified

Currently, the "Version and platform checking" section of the typing spec is very barebones. It basically says:

Type checkers are expected to understand simple version and platform checks. [...] Don’t expect a checker to understand obfuscations like "".join(reversed(sys.platform)) == "xunil".

Of course, there's a world of difference between these two forms.

The type stubs document goes into a bit more of detail, and reflects the currently implemented functionality quite well, as far as I know. It would be a good starting point.

Maybe it would also make sense to support platform checks using startswith(), as that is officially recommended in the Python docs, and is required to properly support some Unix variants, like FreeBSD, that include the version number in the platform string. See also python/typeshed#11876.

Bắt đầu bằng cách so sánh phần “Version and platform checking” trong đặc tả typing với tài liệu type stub được liên kết, tài liệu này phản ánh hành vi hiện tại. Xem lại tài liệu Python và issue của typeshed được liên kết trong báo cáo, sau đó xác định các phép kiểm tra được hỗ trợ và quyết định liệu startswith() có thuộc đặc tả hay không. Hoàn thành có nghĩa là đặc tả mô tả chính xác hành vi dự kiến của việc kiểm tra phiên bản và nền tảng.