True, and I guess it helps for when your non-validated code calls validated code. Odd how we've come around to realizing the importance of types and contracts after years of dynamic typing.
It's a bit like document databases, people are starting to realize again how convenient relational databases and how helpful schemas are.
To be a little more clear, in a language where static typing was mandatory, there would obviously be no need for dynamic type checking of those same types. But since Python's static typing is optional, dynamic type checking at runtime is not redundant.
It's a bit like document databases, people are starting to realize again how convenient relational databases and how helpful schemas are.