On Mar 4, 2010, at 11:30 AM, Lukas Renggli wrote:
indeed. In turn, Helvetia would actually simplify the implementation. E.g. Quasi-Quoting is very nice when building AST snippits to be inserted.
The situation also has its advantages :-)
I recently rewrote the Quasiquoting bootstrap code in a new and much simpler way. Instead of directly plugging it into the NewCompiler and generating byte code, I reimplemented the quoting mechanism as a pure parse tree transformation on the AST. Like this it is the whole thing is independent of the actual compiler being used. The quote, unquote and splice nodes can be transformed to traditional nodes as a preprocessing step to any backend.
Very good! This means it fits nicely into the pure-AST model fo Reflectivity... (where bytecode is just an execution artefact, like the machine code in a JIT, but never used as the model of Reflection or presented to the programer in any form)
With Johan, I plan to use Helvetia together with Reflectivity for some research project.
Cool. Keep me in the loop on that.
Will do. Marcus -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.