Re: Rather, DSSLs increase modularity, productivity

["Felix Klock's ll1 list proxy" <address@hidden>]

My impression, from back when I actively followed polyJ, Pizza, GJ,  
NextGen, etc:
The compiler statically verifies that the computation is well-typed.

What I suspect Christopher is referring to is the fact that the output  
bytecode still has dynamic checks that it runs, since the generated  
bytecode is backward compatible with pre GJ VMs, and so it does have to  
continue to pass the runtime bytecode verifier.

So you still have the same runtime inefficiency; the main plus (but the  
more important one IMO) is that you know at compile-time that things  
won't go wrong with respect to type-casts.

-Felix

On Nov 17, 2003, at 10:53 PM, Robby Findler wrote:

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