|Wouldn’t it be nice
if we could specify that more than one of the arguments to a method can
participate fully, at runtime, in the dispatch process?
|Here’s how this
might look in Java. Or might have looked in Java.
|I gather that with
Java 1.5, the language’s keepers came up with an altogether different role
for angle bracketed type designators.
decided that what Java really needed, to relieve the onerous, evidently
unbearable burden of writing an explicit downcast for Iterator assignments,
was a full blown parametric polymorphic type system, that, when compiled down
to byte code, mysteriously vanishes without a trace.
|Java now has not one
but two useless type systems as seamlessly integrated as, well, Great Britain
and Northern Ireland / HP and Compaq / Bosnia-Herzegovina…
|Someone should be
tried for crimes against Computer Science for inflicting this odious
abomination on the body politic. In the hands of the untutored, it promises
to undermine / stand in the way of
everything about Java that had made it possible to engage in the faux-dynamic
style of programming that helped to make many design patterns practical /