Java now has (limited) type inference, bar. As does C++, auto. They're limited but they remove a lot of tedium.