Very cool work compiling OCaml to WasmGC, demonstrating that it’s not only good for classic OO languages, but for functional languages as well. It’s been gratifying to see all the community uptake of WasmGC even before it has been shipped. This is going to be big!
"We present Wasocaml, an OCaml to Wasm-GC compiler. It is the first compiler for a real-world functional programming language targeting Wasm-GC"
icfp23.sigplan.org/details/ocaml-…
The WebAssembly Community Group will meet in-person October 11-12 in Munich Germany!
This year we are repeating the Wasm Research Day as an additional co-located event, on Friday the 13th (!)
Interested in attending or giving a talk? Let us know!
github.com/WebAssembly/me…
For the past year I have been working on a new architecture for CheerpJ, @leaningtech's solution to run real-world #Java applications in modern browsers.
The 3.0 version will be fully JIT based. The first real #WebAssembly replacement for the JVM.
leaningtech.com/announcing-che…
I'll be hosting an intern working on an abstract interpretation framework for WebAssembly this summer. Academic twitter, does anyone have good intro materials for abstract interpretation or resources on abstract interpretation for optimization?
@johnregehr maybe?
