This paper presents an OO style without classes, which we call interface-based object-oriented programming (IB). This style is a natural extension of closely related ideas such as traits. To support state, IB uses abstract state operations. This new way to deal with state allows flexibility not available in class-based languages. In IB state can be type-refined in subtypes. The combination of a purely IB style and type-refinement enables powerful idioms using multiple inheritance and state. To introduce IB to programmers we created Classless Java: an embedding of IB directly into Java. Classless Java uses annotation processing for code generation and relies on new features of Java 8 for interfaces. The code generation techniques used in Classless Java have interesting properties, including guarantees that the generated code is type-safe and good integration with IDEs. Usefulness of IB and Classless Java is shown with examples and case studies.
Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | |||
10:30 30mTalk | Recaf: Java Dialects as Libraries GPCE Aggelos Biboudis University of Athens, Pablo Inostroza CWI, Tijs van der Storm CWI & University of Groningen Pre-print Media Attached File Attached | ||
11:00 30mTalk | Classless Java GPCE Yanlin Wang University of Hong Kong, Haoyuan Zhang , Marco Servetto Victoria University of Wellington, Bruno C. d. S. Oliveira University of Hong Kong | ||
11:30 30mTalk | Extensible Modeling with Managed Data in Java GPCE Theologos Zacharopoulos Centrum Wiskunde & Informatica, Pablo Inostroza CWI, Tijs van der Storm CWI & University of Groningen |