4 ms·
The abstract looks very interesting. I will certainly take a look and read during the weekend. Thanks for sharing. My quick interpretation is that staged abstr
by efferifick 5y ago
The abstract looks very interesting. I will certainly take a look and read during the weekend. Thanks for sharing.
My quick interpretation is that staged abstract interpreters are an optimization for faster analysis similar (or equivalent?) to abstract compilation, however with the added benefit of not having to program the abstract compiler thanks to the Futamura projections, right?
Thanks!
- Kutta 5y agoYes, the point is that the user only has to write an interpreter, not a compiler, the compiler is automatically generated. See also GraalVM's Truffle interpreter or Souffle Datalog.
- efferifick 5y agoDo you know if there's any disadvantage on using the Futamura projections to generate a compiler? Harder to maintain? Some optimizations are harder to express this way? I have some experience writing compiler optimization passes and working on JITs, but I have not worked on an interpreter that uses Futamura's projections to generate a compiler.