3 ms·
The most elaborate deployed version of this idea is probably PyPy, an alternative Python implementation that works by giving a JIT-compiling partial evaluator a
by rst 2y ago
The most elaborate deployed version of this idea is probably PyPy, an alternative Python implementation that works by giving a JIT-compiling partial evaluator a hint-annotated Python interpreter as the program, and the Python code to be executed as its input. Slightly abstruse overview here: https://doc.pypy.org/en/latest/architecture.html https://doc.pypy.org/en/latest/architecture.html
- tekknolagi 2y agoI think PyPy moved away from partial evaluation to trace optimization, fwiw
- alserio 2y agoFutamura projections should still be the basis for GraalVM
- evacchi 2y agothey are for Truffle-based language implementations https://chrisseaton.com/rubytruffle/pldi17-truffle/pldi17-truffle.pdf https://chrisseaton.com/rubytruffle/pldi17-truffle/pldi17-tr...
- chubot 2y agoPyPy used partial evaluation at one point, but now it's "meta-tracing": Why did we Abandon Partial Evaluation? - https://www.pypy.org/posts/2018/09/the-first-15-years-of-pypy-3412615975376972020.html#why-did-we-abandon-partial-evaluation https://www.pypy.org/posts/2018/09/the-first-15-years-of-pyp...
- 082349872349872 2y agoTaking meta-tracing to the next level would reconstruct not just hot loops but even the original CFG, as speculated in: https://news.ycombinator.com/item?id=38778372 https://news.ycombinator.com/item?id=38778372 Anyone know of non-fictional work in this area?
- deleted 2y ago[deleted]