I think his point is that Python developers often do wish that they could have type validation written into the language, rather than having to litter code with assertions.
I certainly feel that way.
I certainly feel that way.
(Disclaimer: I've not used it, I just think it's a reasonable idea.)
Why do you think so?