PEP484 introduced type hinting into Python(There have been more PEPs). mypy (documentation is here 2) is the most popular type checker that conforms to these PEPs.
Is there an official position from HuggingFace on typing the public API of it’s libraries? I tried looking through Discourse, and Github issues, I couldn’t find any mention of plans for static type checking support.
My impression of the codebase is that, while the “public facing api” is actually completely documented in terms of types(using docstrings),  the actual type annotations (whether inline, or in a separate stub-only package 3 are not there.
PS: If this question is better suited for Github issues, let me know.