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_annotation...