You mean statically typed? Python is already strongly typed.
Try running it through mypy with all the strict options. If you can get it to 100% pass and don't try to "cheat" the system too much with dynamic casts, I think you will find runtime type errors to be very rare.
Re:Why We Switched from Python to Go (2021)
by Sohcahtoa82 on Thursday May 26, 2022 @01:30PM
(#31521103)
> You mean statically typed? Python is already strongly typed.
Err...yes. I forget that "strong" and "static" are not the same and that "strong" and "duck" are not mutually exclusive.
Re:Why We Switched from Python to Go (2021)
by robertlagrant on Thursday May 26, 2022 @01:01PM
(#31520732)
Mypy gets you a lot of the way there.
I'd love to see a s̶t̶r̶o̶n̶g̶ statically-typed Python that could throw type errors at compile time. I've only taken advantage of the duck typing once, and the way I did it was a massive code smell and I ended up refactoring it out anyways.