Admin: 1 revision

2011-12-12T10:06:28Z

1 revision

New page

[[Category:WG211]]

<h1>Expressive and Safe Static Reflection with MorphJ</h1>
<h3>Yannis Smaragdakis</h3>

Recently, language extensions have been proposed for Java and C#
to support pattern-based reflective declaration. These extensions
introduce a disciplined form of meta-programming and aspect-oriented
programming to mainstream languages: They allow members
of a class (i.e., fields and methods) to be declared by statically
iterating over and pattern-matching on members of other classes.
Such techniques, however, have been unable to safely express simple,
but common, idioms such as declaring getter and setter methods
for fields.

We present a mechanism that addresses the lack of
expressiveness in past work without sacrificing safety. Our technique
is based on the idea of nested patterns that elaborate the
outer-most pattern with blocking or enabling conditions. We implemented
this mechanism in a language, MorphJ. We demonstrate
the expressiveness of MorphJ with real-world applications. In particular,
the MorphJ reimplementation of DSTM2, a software transactional
memory library, reduces 1,107 lines of Java reflection and
bytecode engineering library calls to just 374 lines ofMorphJ code.
At the same time, the MorphJ solution is both high level and safer,
as MorphJ can separately type check generic classes and catch errors
early. We present and formalize the MorphJ type system, and
offer a type-checking algorithm.

* [[Media:smaragdakis-libspec-wg09.pdf | smaragdakis-libspec-wg09.pdf ]]: Slides on cJ

* [[Media:smaragdakis-morphj-wg09.pdf | smaragdakis-morphj-wg09.pdf ]]: Slides on morphJ

==File Attachments==

*[[Media:smaragdakis-libspec-wg09.pdf | smaragdakis-libspec-wg09.pdf]]
*[[Media:smaragdakis-morphj-wg09.pdf | smaragdakis-morphj-wg09.pdf]]

WG211/M7Smaragdakis - Revision history

Admin: 1 revision