Maybe more of a bit of a random curiosity than a proper technical question, but I was wondering whether there were any tools within the Python ecosystem that both support static typing via type hints (e.g. mypy) and code compilation (like with Cython) using these type hints. Does such a tool currently exist?
Ideally said tool would be used to both enforce the types used in the code base during compilation and produce some runtime speed benefits (I know I'm greedy)...