If your needs are for static analysis and type checking at compile-time, you are using the wrong language. I'm a huge lover of Python, but I drop into C# when

If your needs are for static analysis and type checking at compile-time, you are using the wrong language. I'm a huge lover of Python, but I drop into C# when I need stuff like that. Or Go. Or Rust. Or something. You're just making bad decisions here. If you're looking to catch bugs in your code before you test or deploy it, don't use a dynamic language. Python has never been and probably never will be a language with declarative types and the checking that allows. Pick a different hammer if that's the nail you need to hit. Don't complain about the hammer you want to use not being a screwdriver.