[Feature request] Support for TypedDict

[tvdboom]

It would be nice if beartype could detect TypedDict annotations. Currently (v0.17.0), all dicts pass a TypedDict test. Example:

from beartype.door import is_bearable
from typing import TypedDict

class ABC(TypedDict):
    a: int

print(is_bearable({}, ABC))  # -> True, should be False
print(is_bearable({"b": 2}, ABC))  # -> True, should be False
print(is_bearable({"a": "a"}, ABC))  # -> True, should be False

[leycec]

Absolutely right. As always, you force us to become better people.

2024 is the year that @beartype finally goes hard on deep type-checking. So, this is happening. Still, we should (probably) deeply type-check standard dictionary type hints like dict[str, int] and standard mapping type hints like typing.MutableMapping[Any, bytes] first. That probably puts deep type-checking of typing.TypedDict more towards the end than the beginning of 2024. I'm so sorry for your codebase. 😭

[tvdboom]

Sounds good! Thanks for all the work