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).
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.
This makes operations like this intuitive: