Inference

Humans benefit from the redundancy of the type declaration in two ways.

Gilad Bracha (2001)

java