Towards Virtual Traits in Scala
Weiel, Manuel; Maier, Ingo; Erdweg, Sebastian
1; Eichberg, Michael; Mezini, Mira
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
1; Eichberg, Michael; Mezini, Mira1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
Abstract (englisch):
Scala is a powerful language that supports a variety of fea- tures, but it lacks virtual traits. Virtual traits are class- valued object attributes and can be redefined within sub- traits. They support higher-order hierarchies and family polymorphism. This work introduces virtual traits into Scala and explains how to encode virtual traits on top of existing Scala features. We have implemented this encoding using Scala annotation macros and have conducted two small case studies.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 28.07.2014 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4503-2868-5 KITopen-ID: 1000188552 |
| Erschienen in | SCALA 2014 - Proceedings of the 5th Annual Scala Workshop, Co-located with ECOOP 2014; Uppsale, Schweden, 28.-29.07.2014 |
| Veranstaltung | 14th European Conference on Object-Oriented Programming (ECOOP 2014), Uppsala, Schweden, 28.07.2014 – 29.07.2014 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | S. 67–75 |
| Schlagwörter | Family polymorphism; Macros; Virtual classes; Virtual traits |
| Nachgewiesen in | Scopus |