All of it is possible, but specific features help in making better software cost less in time and money. For example, nullability annotations reduce nil pointe

All of it is possible, but specific features help in making better software cost less in time and money. For example, nullability annotations reduce nil pointer exceptions. Static typing removes the need to make certain typing unit tests, makes refactors easier to do in large code bases, makes it easier for compilers to generate faster code and so on. Think of them as compiler level linters. Anyway, python has a static gradual typing mechanism. You should try it out :D