Dynamism and Database Referential Integrity

[Karl M. Syring]

"Jason Orendorff" <jason at jorendorff.com> schrieb
> > > Java has a very simple type system, with no generics, but
> > > the system is "strong" in the way I've always seen the term
> > > used, and not (in theory) "subvertible".  Not all the rules
> > <snip>
> >
> > Java is not type safe: http://www.research.att.com/~vj/bug.html
>
> This has been fixed for a long time.

Well, of course there is always the covariant array problem.

  String[] strings = new String[1];
  Object[] objects = strings;
  objects[0] = new Integer(1);

Compiles fine, but gives a runtime error. Don't tell me that's what
exceptions are for.

Karl M. Syring