It is just a part of automation to have a static type system, instead of having to do it manually which is the worst task for humans (tedious and error prone).

It is just a part of automation to have a static type system, instead of having to do it manually which is the worst task for humans (tedious and error prone). Everyone having to use some python code consisting out of 4 half-baked libraries can confirm - it is a nightmare, at least for me!