[nem-en] Metaphor, staging, typed reflection

[Sandro Magi]

I recently came across the Metaphor language for .NET, and thought
people on this list might find some of its features interesting:

http://sky.fit.qut.edu.au/~neverov/metaphor/

 * small extension to C#
 * safe multi-stage programming
 * statically typed, runtime type analysis, ie. reflection

Would Nemerle's macros be powerful enough to encode the staging and
runtime type analysis? I imagine it would be quite complex, but is it
doable in principle?

Sandro