Special-casing `__hash__`

The concept of "hashable" and "unhashable" classes has been a bit of the sore point in the past. typeshed uses __hash__: ClassVar[None] to mark classes as non-hashable, although that requires a # type: ignore[assignment] annotation. I think this is special-cased by at least some type checkers for marking classes as unhashable.

Except for some wordage in the dataclasses section, the typing spec is silent about hashability. Since I believe that this needs special-casing by type checkers, it should be added to the typing spec. A raw idea:

• Classes are hashable by default (due to object.__hash__() being implemented and typeshed having a type corresponding type annotation.)
• To mark a class as non-hashable, use __hash__: ClassVar[None]. We could alternatively use something simpler such as __hash__ = None. I believe we used to use that, but I don't know why it's changed.
• To mark a class as hashable, use def __hash__(self, ...) -> ..., usually def __hash__(self) -> int: ....
• Sub-classes inherit their parent's hashability, unless overridden.

Bắt đầu bằng cách đọc đặc tả typing, đặc biệt là phần hiện có về dataclasses, và xem lại phần thảo luận cùng các phương án thay thế được đề xuất trong issue này. Xác định các quy tắc đã thống nhất cho hashability mặc định, __hash__: ClassVar[None] hoặc __hash__ = None, các phương thức __hash__ tường minh và kế thừa; công việc được coi là hoàn tất khi đặc tả typing ghi lại hành vi được chấp nhận.