Not only this makes sense, Python offers pluggable type systems that let you type some of your program, or all of it - as much as you'd like.

A similar trend with TypeScript emerged in JS land where it's gaining traction. (and flowtype to some extent although that is seeing a lot less adoption)