Humans benefit from the redundancy of the type declaration in two ways.
Gilad Bracha (2001)
Double Negatives
If you have twice contravariant, it becomes covariant. But if you have twice covariant, it doesn’t become contravariant… And then there’s these two guys that make it even harder, with
<? extends>and<? super>in Java. If you look at cubicles all across America, they are plastered with brains.
Erik Meijer, Duality and the End of Reactive Programming, Lang.NEXT, San Francisco, 2014
"Hating Java in 2014"
If your project isn’t big enough to account for time to make sure you are linking to exactly the libraries, versions, etc… that you need, it’s not right for Java.
(comments)
"Pomp and ceremony"
The Java ecosystem warps your brain into a mode of thinking where modularity patterns like DI and decoration are like ancient gods
Overheard[2]
Java 8 will offer an exploit API.
(twitter)
"Dependency injection is not a virtue"
Be careful with who you share your intellectual foundation with.