ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Sun 5 Jul 2015 09:50 - 10:30 at FIT-364 - Position paper 1

We extend prior work on class-morphing to provide a more expressive pattern-based compile-time reflection language. Our MorphJ language offers a disciplined form of metaprogramming that produces types by statically iterating over and pattern-matching on fields and methods of other types. We expand such capabilities with “universal morphing”, which also allows pattern-matching over types (e.g., all classes nested in another, all supertypes of a class) while maintaining modular type safety for our meta-programs. We present informal examples of the functionality and discuss a design for adding universal morphing to Java.

Sun 5 Jul

MASPEGHI-2015-papers
09:50 - 10:30: MASPEGHI - Position paper 1 at FIT-364
MASPEGHI-2015-papers143608260000009:50 - 10:30
Talk
Link to publication