[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Rather, DSSLs increase modularity, productivity
On Monday, November 17, 2003, at 11:34 PM, Neelakantan Krishnaswami
> 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
>>> 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:
>> 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. --