It seems like a reasonable argument that there has been a dramatic rise in the number and popularity statically typed languages which feature type inference: Go

It seems like a reasonable argument that there has been a dramatic rise in the number and popularity statically typed languages which feature type inference: Go, Rust, C# (to a limited extent), Scala, Swift etc. They combine the performance and safety of static typing without sacrificing expressiveness.