Down the WebAssembly rabbit hole

on YouTube ↗24m

" summary

A concrete path from OCaml/Reason to WebAssembly emerges: the work targets the C-- backend (not the bytecode or lambda only), produces compiled and linked object files, and already compiled OCaml to WebAssembly for simple programs so basic apps run in Wasm. Missing pieces are explicit: no GC, exception handling or proper tail calls in the Wasm output yet, lots of refactoring and test-suite integration remain before upstreaming.

AI-written summary · about

" chapters (7)

1. 0:00Start
2. 6:22Productions
3. 9:29Lambda IR
4. 15:34Possible entry points
5. 18:19Garbage Collection
6. 18:43Exception handling
7. 19:06Tail calls

" related talks

• 29mWasocaml: a compiler from OCaml to WebAssemblyPierre Chambart, Léo Andrès · Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023
• 01h 08mOn WebAssemblyAndreas Rossberg · POPL 2022 Virtual Workshop
• 42mWebAssembly: A New Compilation Target for the WebLuke Wagner · Philly ETE 2016
• 35mWebAssembly: now web is a new compiler target architectureNoritada Shimizu · FOSSASIA Summit 2017
• 01h 06mAs low-level as possible, but no lowerAndreas Rossberg · ICFP 2023
• 32mWebAssembly DemystifiedJay Phelps · Jazoon TechDays Spring 2017
• 53mWebAssemblyBrian Sletten · Developer Summit 2020
• 57mScheme on WebAssembly: It is happening!Andy Wingo · Scheme 2024