Comment by smlckz

There is Hindley-Milner type inference. Don't need to type types in most cases. See, for example, OCaml.