Re: Breaking the Java Type System

Isaac Gouy wrote:

>Do similar problems exist for Nice?
>
>Parametric polymorphism for Java: is there any hope in sight?
>http://portal.acm.org/citation.cfm?id=1052883.1052887 
>  
>
The article points out some problems, mostly in the dynamic type system, 
but also in the static type system when genericity is used in 
combination with reflection. Basically I think some of the problems he 
points out are quite valid, but don't warrant the strong language.

I typed up a small overview of some of the simple limitations on the wiki:

http://nice.sourceforge.net/cgi-bin/twiki/view/Dev/TypeErasureLimitations

This is all pretty obvious to someone who knows about type erasure, but 
it might surprise those who don't.


Kind regards,

Arnout `raboof' Engelen


-------------------------------------------------------
This SF.Net email is sponsored by Oracle Space Sweepstakes
Want to be the first software developer in space?
Enter now for the Oracle Space Sweepstakes!
http://ads.osdn.com/?ad_id=7393&alloc_id=16281&op=click