There is Hindley-Milner type inference. Don't need to type types in most cases. See, for example, OCaml.
Well, sure, but that's a tradeoff for the developers of the language to consider. As a user, there are already plenty of statically typed languages to choose from with many person-hours put into just that.