Re: Rather, DSSLs increase modularity, productivity

[Neelakantan Krishnaswami <address@hidden>]

Robby Findler writes:
> At Mon, 17 Nov 2003 22:23:41 -0500, Christopher Barber wrote:
> > No, in Java's version of generics the checks are still done at runtime; 
> > the compiler just generates them for you.
> 
> I'm no Java expert, but from what I'd understood, this is false. This
> web page also seems to indicate that generics are statically checked:
> 
> http://developer.java.sun.com/developer/technicalArticles/releases/generics/
> 
> but it isn't a technical spec, clearly.

IIUC, the type system for Java generics ensures that a type-safe Java
1.5 program will never throw a casting exception at runtime. However,
in order to keep code compatible with programs compiled by older
versions of Java, the tests are still inserted so that old,
non-generic Java code will continue to work as before.

-- 
Neel Krishnaswami
neelk@cs.cmu.edu