Compiling Haskell to WebAssembly – Cheng Shao (GHC/Wasm Backend Developer) скачать в хорошем качестве

Compiling Haskell to WebAssembly – Cheng Shao (GHC/Wasm Backend Developer)

How GHC is evolving to support WebAssembly and why it matters Cheng Shao presents the architecture, challenges, and current status of the GHC backend for WebAssembly. He explains why WebAssembly is important for the Haskell ecosystem, how the GHC pipeline integrates with it, and what’s required to run full Haskell applications inside the browser or other Wasm environments. The session includes insights into runtime design, memory layout, foreign function interfaces, and concurrency limitations. A must-watch for anyone interested in the future of Haskell on the web and beyond. About Cheng Shao Cheng Shao is a software engineer at the IOG (Input Output Global) Haskell Infrastructure team. He is the principal developer of the WebAssembly backend for GHC, the Glasgow Haskell Compiler. Cheng has deep experience in systems programming, compiler implementation, and low-level Haskell runtime internals. His work enables new deployment targets for Haskell—especially in the browser, serverless, and embedded contexts. Hosted at the OST This video was recorded at the OST – Eastern Switzerland University of Applied Sciences in Rapperswil, the official host of ZuriHac, the world's largest Haskell community event. The OST is proud to support the global exchange between research, community, and industry. Chapter: 0:00 Introduction & structure of the talk 1:15 Lesson 1 – Don’t use frameworks 5:45 WebAssembly basics & minimal runtime 10:40 WASI vs JS FFI & standalone deployment 16:30 Lesson 2 – Validate everything 18:32 Structure of core expressions & output control 23:10 Compilation pipeline & target representation 27:55 Memory layout in Wasm 33:20 Lesson 3 – Debug early 36:00 Tools, backtraces & observability 40:30 Lesson 4 – Avoid concurrency (for now) 45:20 GHC runtime limitations & async model 49:10 Haskell concurrency semantics in Wasm 53:00 Live Demo 1 – Browser-based Haskell runtime 57:40 Live Demo 2 – Service Worker & crypto 1:02:30 Lesson 5 – Don’t be afraid of rewriting 1:06:15 Benchmarks & performance notes 1:10:00 Limitations & future directions 1:15:10 Q&A and wrap-up #Haskell    #WebAssembly    #ZuriHac