Re: Rather, DSSLs increase modularity, productivity

[Matthias Felleisen <address@hidden>]

On Monday, November 17, 2003, at 11:34 PM, Neelakantan Krishnaswami  
wrote:

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

With all respect, but I doubt that one. Not even ML can do this. --  
Matthias