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
>
> I didn't say it was a *good* system.
>
> ## Jason Orendorff    http://www.jorendorff.com/

Now the fun stuff is that Microsoft has faithfully replicated this behavior
in C#.
Every array access
needs a runtime check

Still does not rhyme
Karl M. Syring