Dynamism and Database Referential Integrity

[Karl M. Syring]

"Jason Orendorff" <jason at jorendorff.com> schrieb
> > Well, Java and C++ have no strong type checking, they have type 
> > declarations that can easily be subverted.
> 
> This is thoroughly overstated.
> 
> C++, in particular, lets you "subvert" the type system (by
> casting) because low-level developers sometimes need to.
> In C++, it is clear when you're subverting the type system:
> look for casts.

Well, that's the subversion. Down with the casts.

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

Karl M. Sying