text: The operation specification and the generated bytecode interpreter is just Java bytecodes which we JIT using Futamura projections. 
  
  If you want to dive into how Truffle works, here is a talk where I explain the basics:
  youtu.be/pksRrON5XfU?...