Supercompilation, Partial Evaluation, Futamura Projections and How GraalVM Will Save the World
summary
Explains Truffle (the language-implementation framework on GraalVM) and the compiler techniques behind it: supercompilation, partial evaluation, and Futamura projections. Describes how to implement a language by writing an interpreter in Truffle, how Truffle’s specialization and other optimizations make interpreted languages run fast, and why these work best together with the Graal compiler; mentions use with languages on GraalVM (JavaScript, Ruby, R, Python).
AI-written summary · about
chapters (8)
- 0:00Introduction
- 1:09What is GraalVM
- 10:29Futamura projections
- 22:17Truffle language creation
- 32:37Specialization demo
- 41:45Type-level optimizations
- 47:03Invalidation and limits
- 53:23Polyglot future
related talks
53mUnveiling the Mysteries of GraalVM's Least Understood Component
37mWhat Is This GraalVM Thing?
47mPolyglot Done Right with GraalVM
46mDr. Futamura and the Projection Machine: From Interpreters to Compilers
07mFutamura Projections
54mDeveloper's Introduction to GraalVM
47mThe need for speed. What is GraalVM and how can it help you?
01h 19mTowards the tower of Babel: a Polyglot Language VM in Java