Explore the compilation of OCaml to WebAssembly (Wasm) in this 29-minute conference talk presented by Léo Andrès and Pierre Chambart at ML'23. Delve into the development of Wasocaml, an OCaml to Wasm-GC compiler, addressing the challenges of compiling garbage-collected languages to Wasm. Examine the limitations of JavaScript as the web's default language and learn how Wasm offers a secure and predictable-performance alternative. Discover various strategies for mapping OCaml value representation techniques to WasmGC and understand the compilation scheme employed. Gain insights into future plans for handling C/JavaScript FFIs and effects handlers within Wasocaml, providing a comprehensive overview of this innovative compiler project.
Overview
Syllabus
[ML'23] Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop)
Taught by
ACM SIGPLAN