Sponsored Links

 

 

 

Adding Wildcards to the Java Programming Language

Source: www.bracha.org
Topic: Java Programming


Short Desciption:
Adding Wildcards to the Java Programming Language Mads Torgersen Christian Plesner Hansen Erik Ernst, and Peter von der Ah´ e University of Aarhus Åbogade 34 DK-8200 ÅrhusN ...

 

Content Inside:
Adding Wildcards to the Java Programming Language Mads Torgersen Christian Plesner Hansen Erik Ernst, and Peter von der Ah´ e University of Aarhus Åbogade 34 DK-8200 ÅrhusN, Denmark { madst,plesner,eernst,pahe } @daimi.au.dk Gilad Brachaand Neal Gafter Sun Microsystems, Inc. 4150 NetworkCycle Santa Clara, CA 95054, USA { Gilad.Bracha,Neal.Gafter } @sun.com ABSTRACT This paper describeswildcards, anew language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of use-site variance, wildcardsprovidea type safe abstraction overdierent instantiations of parameterized classes, by using?      to denote unspecified type arguments. Thus they essentially unify the distinct families of classes often intro- ducedby parametric polymorphism. Wildcardsareimple- mentedaspartof the upcoming addition of generics to the JavaTM programming language, and will thus be deployed world-wide as part of the reference implementation of the Java compilerjavac available from Sun Microsystems, Inc. By providing a richer type system, wildcardsallow for an improved       type inference scheme for polymorphic method calls. Moreover, by means of a novel notion of wildcard capture, polymorphic methods can be used to give symbolic names to unspecified types, in a manner similar to the"open"con- structknownfrom existential types. Wildcardsshowup in numerous places in the Java Platform APIsofthe upcoming release, and some of the examples in this paper are taken from these APIs. Categories and Subject Descriptors D.3.3[Language Constructs and Features]: Classes and objects, Data types and structures, Polymorphism Keywords Wildcards, genericity, parameterized types 1. INTRODUCTION Parametric polymorphism is well-known from functional lan- guagessuchas Standard ML[22], and over the past two Permissi ...

 

add to Google Reader add to Google Bookmark add to bloglines add to newsgator add to FURL add to digg add to webnews add to Netscape add to Yahoo MyWeb add to spurl.net add to diigo Bookmark newsvine Bookmark del.icio.us Bookmark @ SIMPIFY Bookmark MISTER WONG Bookmark Linkarena Bookmark icio.de Bookmark oneview Bookmark folkd.com Bookmark yigg.de Bookmark reddit Bookmark StumbleUpon Bookmark Slashdot Bookmark blinklist Bookmark technorati add to blogmarks add to blinkbits add to ma.gnolia add to smarking.com add to netvouz add to co.mments add to Connotea add to de.lirio.us

 

Related PDF Files

Mechanisms for secure modular programming in Java


Topic: Java Programming

Java supports modular programming at both the class level and the package level. At the class level. the interface facility of the language provides ...

Advanced Java Programming


Topic: Java Programming

Page ii Rev 5.1.3 © 2007 ITCourseware, LLC Advanced Java Programming Advanced Java Programming Contributing Authors: John Crabtree, Julie Johnson, Mike Naseef, Jamie Romero, and ...

Safe Concurrent Programming in Java


Topic: Java Programming

Safe Concurrent Programming in Java. Chandrasekhar Boyapati. CHANDRA ... Multithreaded programming is difficult and error prone. ...

Java Programming and Information hiding principle


Topic: Java Programming

Introduction to Java Programming. 3. Structure of Object. oriented program .... Introduction to Java Programming. 7. Lets execute a Java program. Compile ...

GJ: Extending the Java programming language with type parameters


Topic: Java Programming

This note proposes GJ an extension to the Java programming language that ... GJ is backward and forward compatible with the Java programming language and ...

 

Sponsored Links