`typing.TYPE_CHECKER` object to change types depending on which type checker is being run

One issue I have run into as a library dev is varying support for typing features or bugs for both of the type checkers. typing.TYPE_CHECKER would allow me to change type definition based on the type checker so that I can support all static analysis tools more effectively.

I propose that TYPE_CHECKER would be a dict with a "name" and "version" key. Type checkers could also optionally add other keys/values.

TYPE_CHECKER = {
    "name": "type-checker-name",
    # `VersionInfo` would be implemented by each type checker to match their versioning scheme.
    "version": VersionInfo(...),
}

Using it for types would look like this:

if TYPE_CHECKER.get("name") == "pyright" and TYPE_CHECKER.get("version") > (1, 1, 290):
    T = TypeVar("T", default=int)
else:
    T = TypeVar("T")

At runtime I think the TYPE_CHECKER object should be an empty dictionary.

Das Issue selbst ist der Einstiegspunkt: Beginne mit der Überprüfung des vorgeschlagenen TYPE_CHECKER-Dictionarys, seiner Namens- und Versionsfelder, der optionalen Werte und des Verhaltens bei leerer Laufzeit. Kläre, wie Typechecker konsistente Versionsinformationen bereitstellen würden, und definiere und validiere anschließend die vereinbarte Schnittstelle.