Union types for object-oriented programming

We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be considered a set union of instances of several types and behaves as their least common supertype. It also plays the role of an interface that ‘factors out’ commonality of given types— fields of the same name and methods with similar signatures. Union types can be useful for implementing heterogeneous collections and for grouping independently developed classes with similar interfaces, which has been considered difficult in languages like Java. To rigorously show the safety of union types, we formalize them on top of Featherweight Java and prove that the type system is sound. Categories and Subject Descriptors D.3.1 [Programming Languages]: Formal Definitions and Theory; D.3.2 [Programming Languages]: Language Classifications—Object-oriented languages; D.3.3 [Programming Languages]: Language Constructs...

• Type: Conference
• Year: 2006
• Where: SAC
• Authors: Atsushi Igarashi, Hideshi Nagira
• Keywords: Applied Computing, Class-based Objectoriented Languages, Programming Languages, SAC 2006, Union Types