Dynamism and Database Referential Integrity

[Jason Orendorff]

> > > > 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/