There are some tools that use types for optimization, but I'd say it's still pretty early. For example, mypyc is a python to C compiler that is part of mypy. I

There are some tools that use types for optimization, but I'd say it's still pretty early. For example, mypyc is a python to C compiler that is part of mypy. It uses types for both correctness and optimization: https://mypyc.readthedocs.io/en/latest/using_type_annotations.html https://mypyc.readthedocs.io/en/latest/using_type_annotation...