Making the future safe for the past: Adding Genericity to the Java Programming Language

We present GJ, a design that extends the Java programming language with generic types and methods. These are both explained and implemented by translation into the unextended language. The translation closely mimics the way generics are emulated by programmers: it erases all type parameters, maps type variables to their bounds, and inserts casts where needed. Some subtleties of the translation are caused by the handling of overriding. GJ increases expressiveness and safety: code utilizing generic libraries is no longer buried under a plethora of casts, and the corresponding casts inserted by the translation are guaranteed to not fail. GJ is designed to be fully backwards compatible with the current Java language, which simplifies the transition from non-generic to generic programming. In particular, one can retrofit existing library classes with generic interfaces without changing their code.


Publié dans:
Proc. OOPSLA 1998.
Présenté à:
OOPSLA 1998
Année
1998
Laboratoires:




 Notice créée le 2006-01-24, modifiée le 2020-02-11

n/a:
Télécharger le document
PS.GZ

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)