Guido talks about the benefits of (optional) static type (hints).  Says tools can infer types 60% of the time, which means almost half the time they can't.  Static type hints help catch bugs, help with IDEs, help code comprehensibility, and help code conversion.  Will allow annotation even of existing libraries.

https://www.youtube.com/watch?v=2wDvzy6Hgxg

Pycon 2025.  "why you should use native code" ;)