Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop)
In this presentation, we explore the compilation of OCaml to WebAssembly (Wasm). The limitations of JavaScript as the default language of the web led to the development of Wasm, a secure and predictable-performance modular language. However, compiling garbage-collected languages to Wasm presents challenges, including the need to compile or re-implement the runtime. Some Wasm extensions are developed by the Wasm working groups to facilitate the compilation of garbage-collected languages. We present Wasocaml, an OCaml to Wasm-GC compiler. Different strategies to map the OCaml value representation technique to WasmGC and our compilation scheme are detailed. Finally, we describe how we plan to handle the C/JavaScript FFIs and effects handlers within Wasocaml.
Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change
14:00 - 15:30 | |||
14:00 30mTalk | Programming with Explicit Effects in ReML Higher-order, Typed, Inferred, Strict: ML Family Workshop Martin Elsman University of Copenhagen, Denmark | ||
14:30 30mTalk | Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop) Higher-order, Typed, Inferred, Strict: ML Family Workshop | ||
15:00 30mTalk | Layout Polymorphism: Using static computation to allow efficient polymorphism over variable representations Higher-order, Typed, Inferred, Strict: ML Family Workshop Richard A. Eisenberg Jane Street File Attached |