Java adding type inference is similar to PHP which has initially been dynamically typed adding static type features in a sense that both are trying to improve t

Java adding type inference is similar to PHP which has initially been dynamically typed adding static type features in a sense that both are trying to improve their type system gradually by adding more features. The tooling around has also improved so they can do it now. I like the idea of language to support more type features because there is no one ultimate type of solution for everything and in every situation. Moreover, these are all safe changes. There is less possibility for developers to abuse these features compared to what they can do with implicit conversion, for instance.