Personnaly I became a huge fan of beartype : https://pypi.org/project/beartype/
Leyec, the magic dev behind it managed to make a full python type checker with super advanced features and about 0 overhead. It's crazy
Leyec, the magic dev behind it managed to make a full python type checker with super advanced features and about 0 overhead. It's crazy
>Beartype now implicitly type-checks all annotated classes, callables, and variable assignments across all submodules of all packages.