Whiteoak: introducing structural typing into java

ABSTRACT

This paper presents WHITEOAK: a JAVA extension that introduces structural type equivalence and subtyping into the language. We argue that structural subtyping addresses common software design problems, and promotes the development of loosely coupled modules without compromising type safety.

We discuss language design issues, including subtyping in face of self-referencing structural types, compile-time operators for computing the new types from existing ones, and the semantics of constructors and non-abstract methods in structural types. We describe implementation techniques, including the compile-time and run-time challenges that we faced (in particular, preserving the identity of objects). Measurement indicate that the performance of our implementation of structural dispatching is comparable to that of the JVM's standard invocation mechanisms.

REFERENCES

• 1: Roberto M. Amadio , Luca Cardelli, Subtyping recursive types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.4, p.575-631, Sept. 1993 [doi>10.1145/155183.155231]
• 2: Davide Ancona , Giovanni Lagorio , Elena Zucca, Jam - A Smooth Extension of Java with Mixins, Proceedings of the 14th European Conference on Object-Oriented Programming, p.154-178, June 12-16, 2000
• 3: Timothy Andrews , Craig Harris, Combining language and database advances in an object-oriented development environment, Conference proceedings on Object-oriented programming systems, languages and applications, p.430-440, October 04-08, 1987, Orlando, Florida, United States
• 4: Malcolm P. Atkinson , O. Peter Buneman, Types and persistence in database programming languages, ACM Computing Surveys (CSUR), v.19 n.2, p.105-170, June 1987 [doi>10.1145/62070.45066]
• 5: Malcolm P. Atkinson , Ray Welland, Fully Integrated Data Environments: Persistent Programming Languages, Object Stores, and Programmingenvironments, Springer-Verlag New York, Inc., Secaucus, NJ, 1999
• 6: Gerald Baumgartner , Vincent F. Russo, Implementing signatures for C++, Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference, p.3-3, April 11-14, 1994, Cambridge, MA
• 7: Gerald Baumgartner , Vincent F. Russo, Implementing signatures for C++, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.1, p.153-187, Jan. 1997 [doi>10.1145/239912.239922]
• 8: Gilad Bracha, The programming language jigsaw: mixins, modularity and multiple inheritance, University of Utah, Salt Lake City, UT, 1992
• 9: Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler, Making the future safe for the past: adding genericity to the Java programming language, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.183-200, October 18-22, 1998, Vancouver, British Columbia, Canada
• 10: K. B. Bruce and J. N. Foster. LOOJ: Weaving LOOM into Java. In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'04), pages 389--413, Oslo, Norway, June 14-18 2004.
• 11: Martin Büchi , Wolfgang Weck, Compound types for Java, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.362-373, October 18-22, 1998, Vancouver, British Columbia, Canada
• 12: Bruce Eckel, Thinking in C++, Prentice-Hall, Inc., Upper Saddle River, NJ, 1995
• 13: Richard P. Gabriel , Linda Northrop , Douglas C. Schmidt , Kevin Sullivan, Ultra-large-scale systems, Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA [doi>10.1145/1176617.1176645]
• 14: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 15: Peter F. Sweeney , Joseph (Yossi) Gil, Space and time-efficient memory layout for multiple inheritance, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.256-275, November 01-05, 1999, Denver, Colorado, United States
• 16: James Gosling , Bill Joy , Guy Steele , Gilad Bracha, Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)), Addison-Wesley Professional, 2005
• 17: W. Harrison, D. Lievens, and T. Walsh. Using recombinance to improve modularity. Technical Report 104 Software Structures Group, Trinity College Dublin, Dublin, Ireland, March 2007.
• 18: Haruo Hosoya , Alain Frisch , Giuseppe Castagna, Parametric polymorphism for XML, Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.50-62, January 12-14, 2005, Long Beach, California, USA
• 19: B. N. Jørgensen. Integration of independently developed components through aliased multi-object type widening. Journal of Object Technology, 3(11):55--76, 2004.
• 20: K. Läufer, G. Baumgartner, and V. F. Russo. Safe structural conformance for Java. The Computer Journal, 43(6):469--481, 2001.
• 21: Tim Lindholm , Frank Yellin, Java Virtual Machine Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 22: Donna Malayeri , Jonathan Aldrich, Integrating Nominal and Structural Subtyping, Proceedings of the 22nd European conference on Object-Oriented Programming, July 07-11, 2008, Paphos, Cypress [doi>10.1007/978-3-540-70592-5_12]
• 23: Emerson R. Murphy-Hill , Philip J. Quitslund , Andrew P. Black, Removing duplication from java.io: a case study using traits, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA [doi>10.1145/1094855.1094963]
• 24: Gerald Neufeld , Son Vuong, An overview of ASN.1, Computer Networks and ISDN Systems, v.23 n.5, p.393-415, Feb. 1992 [doi>10.1016/0169-7552(92)90014-H]
• 25: Martin Odersky, The Scala experiment: can we provide better language support for component systems?, Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.166-167, January 11-13, 2006, Charleston, South Carolina, USA
• 26: N. Schärli, S. Ducasse, O. Nierstrasz, and A. P. Black. Traits: Composable units of behavior. In L. Cardelli, editor, Proc. of the 17th Euro. Conf. on OO Prog. (ECOOP'03), volume 2743 of LNCS, pages 248--274, Darmstadt, Germany, July 21--25 2003. Springer.
• 27: Joachim W. Schmidt, Some high level language constructs for data of type relation, ACM Transactions on Database Systems (TODS), v.2 n.3, p.247-261, Sept. 1977 [doi>10.1145/320557.320568]
• 28: Yoav Zibin , Joseph Yossi Gil, Efficient subtyping tests with PQ-encoding, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, p.96-107, October 14-18, 2001, Tampa Bay, FL, USA

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

General Terms:
Languages, Performance

Keywords:
abstraction, java, structural subtyping