News for hackers. Stuff that matters.
Re:Why Type Systems Matter by sqeaky on Friday August 18, 2017 @06:18PM (#15050197)
I agree it could be more clean, but the way it is designed allows for immediately understandable semantics when dealing with inherited types (which everyone though was the future during Java's Formative years).

This makes operations like this intuitive:

    Animal results = new Dog("Lassie");
Re:Why Type Systems Matter by mcphage on Friday August 18, 2017 @11:04PM (#15051422)
It does, but they should have found a solution which allowed that, as well as not be redundant in the more common case where the two classes are the same. Hence Java's type system being verbose and clumsy.