>> Haskell, Rust? Those are statically typed languages, too. > [...] I don't want to use Rust or Haskell where Python can solve the problem just fine. Overhead

>> Haskell, Rust? Those are statically typed languages, too. > [...] I don't want to use Rust or Haskell where Python can solve the problem just fine. Overhead and development time is also a problem Yet you suggested using Java. Something in your comments seems inconsistent. > Type hints add development time and bureaucracy. That's why they are (going to be) optional. But for larger codebases beaurocracy adds some structure, which can be beneficial. BTW, did you know that beaurocracy was an invention of ancient times? Yes, an invention. It allowed citizens to know what to do with their requests to authorities. Beaurocracy is generally a desired thing, it's excessive beaurocracy that is awful.