Adding Wildcards to the Java Programming Language
Short summary:
Java programming language, For some time it has been clear that the Java programming known as genericity or generics in the Java programming successful in mediating between the two types of polymorphism without imposing penalties on other parts of the language ...
Long summary:
For some time it has been clear that the Java programming language was going to be extended with parametric polymorphism in the form of parameterized classes and poly-morphic methods, i.e., classes and methods with type parameters. A similar mechanism has recently been described
for C 10 , and is likely to become part of a future version of that language 18 .
The decision to include parametric polymorphism â also known as genericity or generics â in the Java programming language was preceded by a long academic debate. Several proposals such as GJ and others 25, 1, 24, 4, 7 were presented, thus advancing the ï¬ eld of programming language
research. It became increasingly clear that the mechanism on its own, imported as it were from a functional context, lacked some of the ï¬ exibility associated with object-oriented subtype polymorphism. A number of proposals have sought to minimize these problems 8, 9, 2, 5, 6 , and an approach by Thorup and Torgersen 30 , which we shall refer to as use-site variance, seems
particularly successful in mediating between the two types of polymorphism without imposing penalties on other parts of the language.
The approach was later developed, formalized, and proven type sound by Igarashi and Viroli 17
within the Featherweight GJ calculus 15 . This work addresses typing issues, but was never implemented full-scale ...
Source: www.bracha.org
Search Terms:
Related
Introduction to Programming Using Java Version 4.1, Introduction to Programming Using Java
Version 4.1. that covers introductory
programming with Java. on introductory
programming, which uses Java as the
language of instruction. ...,
more
Practical Java Game Programming, illustrates cutting-edge Java game
programming concepts and techniques. Java
Game Programming identifies the
technological path developers need to take
to make this happen ...,
more
Java as a Game Platform, Java Platform and Its Legacy Current Java
Game Development Sports Games Puzzle Games
Racing Games Massively Multiplayer Online
Role-Playing Games Strategy Games
Action/Adventure Games ...,
more
