Lambda-based object-oriented programmingPearl
Thu 15 Jul 2021 09:30 - 09:50 at ECOOP 1 - Potpourri (time band 3) Chair(s): Viktor Kunčak
We show that a minimal subset of Java 8 excluding classes supports a simple and natural programming style, which we call lambda-based object-oriented programming. That is, on one hand the programmer can use tuples in place of objects (class instances), and tuples can be desugared to lambdas following their classical encoding in the lambda-calculus. On the other hand, lambdas can be equipped with an additional behaviour, thanks to the fact that they may implement interfaces with default methods, hence inheritance and dynamic dispatch are still supported. We formally describe the encoding by a translation from an FJ variant including lambdas and interfaces with default methods, to a subset with no classes (hence no constructors and fields). We provide several examples illustrating this novel programming style.
Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:20 - 01:20 | Language Design (time band 2)ECOOP Technical Papers at ECOOP 1 Chair(s): Jens Dietrich Victoria University of Wellington | ||
00:20 20mTalk | Lambda-based object-oriented programmingPearl ECOOP Technical Papers DOI Media Attached | ||
00:40 20mTalk | ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ECOOP Technical Papers DOI | ||
01:00 20mTalk | Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks ECOOP Technical Papers Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology DOI |
09:10 - 10:10 | |||
09:10 20mTalk | Type-Directed Operational Semantics for Gradual Typing ECOOP Technical Papers Wenjia Ye The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Xuejing Huang The University of Hong Kong DOI Media Attached File Attached | ||
09:30 20mTalk | Lambda-based object-oriented programmingPearl ECOOP Technical Papers DOI Media Attached | ||
09:50 20mTalk | ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ECOOP Technical Papers DOI |