> Truffle works by taking your interpreter and generating a compiler by partial evaluation. So I believe they have written a JVM bytecode interpreter and Truffle makes the JIT.
> I'm super impressed by how the Truffle/GraalVM team has been able to turn this theoretical concept into a system that yields production grade compilers
Does this mean that PyPy is an example of the first projection of Futamura? Which generates JIT compilers for implementations in RPython.
My understanding of this idea is that it potentially enables the architecture of software systems to be drastically transformed at runtime and over time.
Imagine if your software system (Kuberentes manifests, sourcecode, firewall rules, cloud resources such as SQS, autoscaling groups, RDB databases and so on) was all represented by a single AST and you can transform the AST to handle a new constraint by just transforming the AST which could lead to a system that looks completely different.
It wasn't until I searched the article for the word Futurama to quickly check what the relationship to the show was, that I noticed my search only matched in the comments and not the title.
> Truffle works by taking your interpreter and generating a compiler by partial evaluation. So I believe they have written a JVM bytecode interpreter and Truffle makes the JIT.
> I'm super impressed by how the Truffle/GraalVM team has been able to turn this theoretical concept into a system that yields production grade compilers
via https://news.ycombinator.com/item?id=25842901