Lumen and Eir

on YouTube ↗31m

" summary

Lumen is a compiler and runtime that compiles Elixir/Erlang to WebAssembly and native, using Eir as a unified IR that is a hybrid SSA/CPS (based on the Thorn-style paper). It compiles ahead-of-time with no hot code reloading, enabling whole-program dead-code elimination, aggressive cross-module inlining and type specialization. Pipeline reads Erlang/Abstract Erlang, lowers to Eir, runs passes like graph simplification, closure inlining, pattern-match compilation and lambda-mangling driven tail-call elimination, then lowers to MLIR/LLVM and WebAssembly backends.

AI-written summary · about

" chapters (9)

1. 0:00Introduction
2. 1:04Lumen
3. 8:41Compiler
4. 15:16CI
5. 18:21IEIR
6. 22:13Why IEIR
7. 23:46IEIR Cleanup
8. 26:10Compiler Passes
9. 28:39Conclusion

" related talks

• 19mLumenLuke Imhoff · Lonestar Elixir 2020
• 44mLumen - Bringing the BEAM to WebAssembly and BeyondPaul Schoenfelder · Code Mesh LDN 2019
• 43mLivecoding a WebAssembly interpreterTonci Galic · ElixirConf EU Virtual 2020
• 26mAn MLIR Dialect for WebAssemblyLimin Jia, Byeongjee Kang, Brandon Lucia, Harsh Desai · WAW 2025
• 54mKeynote: AdoptionBrian Cardarella · The Big Elixir 2019
• 37mLucet: Safe WebAssembly Outside the BrowserTyler McMullen · Code Mesh LDN 2019
• 44mLFE - a lisp flavour on the Erlang VMRobert Virding · Lambda Days 2016
• 54mLucet: A Compiler and Runtime for High-Concurrency Low-Latency SandboxingTyler McMullen · PriSC 2020