Pattern-based traits
Weiyu Miao, Jeremy G. Siek · 2012
There have been exciting developments with respect to compile-time reflection for C# and Java. Fähndrich et al. [2006] introduced what we call pattern-based reflection as a high-level notation for inspecting members of old classes and generating members of a new class. Huang and Smaragdakis [2008, 2011] further increased the expressiveness of pattern-based reflection and strengthened its type safety guarantees. However, these proposals took place in settings with just classes and/or mixins, which limit the ways that generated declarations can be composed (just linearly).