Java type inference is broken: Can we fix it?

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2008, Pages 505-524

  Smith, Daniel ^a   Cartwright, Robert ^a  

^a Rice University   (United States)

Author keywords

Design; Languages

Indexed keywords

CORNER CASE; EXPRESSIBILITY; GENERIC TYPES; INTERSECTION TYPES; JAVA DEVELOPERS; JAVA PROGRAMMING; LANGUAGE SPECIFICATIONS; LANGUAGES; TECHNICAL DETAILS; TYPE INFERENCE ALGORITHMS; TYPE INFERENCE MECHANISMS; TYPE INFERENCES; TYPE SYSTEMS; TYPE-CHECKING;

ALGORITHMS; COMPUTER SYSTEMS PROGRAMMING; INFERENCE ENGINES; LINGUISTICS; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; WIRELESS TELECOMMUNICATION SYSTEMS;

JAVA PROGRAMMING LANGUAGE;

EID: 63549106936     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449764.1449804     Document Type: Conference Paper

References (18)

1. Gilad Bracha, Martin Odersky, David Stoutamire, & Philip Wadler. Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. OOPSLA, 1998.
2. Luca Cardelli. An Implementation of F<. Research report 97, DEC Systems Research Center, 1993.
3. James Gosling, Bill Joy, Guy Steele, & Gilad Bracha. The Java Language Specification, Third Edition. 2005.
4. Atshushi Igarashi, Benjamin Pierce, & Philip Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. OOPSLA, 1999.
5. Atsushi Igarashi & Mirko Viroli. On Variance-Based Subtyping for Parameteric Types. ECOOP, 2002.
6. Atsushi Igarashi & Hideshi Nagira. Union Types for Object- Oriented Programming. Journal of Object Technology, vol. 6, no. 2, February 2007.
7. Andrew J. Kennedy & Benjamin C. Pierce. On Decidability of Nominal Subtyping with Variance. FOOL/WOOD, 2007.
8. Benjamin C. Pierce & David N. Turner. Local Type Argument Synthesis with Bounded Quantification. Technical report TR495, Indiana University, 1997.
9. Benjamin C. Pierce & David N. Turner. Local Type Inference. POPL, 1998.
10. Daniel Smith. Completing the Java Type System. Master's thesis, Rice University, 2007.
11. Kresten Krab Thorup & Mads Torgersen. Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes. Lecture Notes in Computer Science, 1999.
12. Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, & Neal Gafter. Adding Wildcards to the Java Programming Language. SAC, 2004.
13. Mads Torgersen, Erik Ernst, & Christian Plesner Hansen. Wild FJ. FOOL, 2005.
14. DrJava IDE. http://drjava. org.
15. Java Community Process. http://jcp.org.
16. "Type variables should have lower/super bounds." Java Request for Enhancement.http://bugs.sun.com/view-bug.do?bug-id=5052956.
17. "Please introduce a name for the 'null' type." Java Request for Enhancement.http://bugs.sun.com/view-bug.do? bug-id=5060259.
18. "Multiply-bounded reference type expressions." Java Request for Enhancement.http://bugs.sun.com/view-bug.do? bug-id=6350706.