But typehint plus input validation statements feel like overhead (they appear
doing the same thing). So IMO there is a good solution missing

Which is not "use a typesafe language" but compile typehints to runtime check
code, like tcomb (which I love):
https://github.com/Microsoft/TypeScript/issues/5125