sabine
sabine
I'm keeping track of my current understanding and thoughts here. Please comment if you can clarify or correct something. **In the current WASM GC proposal draft**, we have a rather...
Draft of Flambda 2.0 semantics, very incomplete and riddled with questions from my side. Please comment in the file changed and point out my mistakes and misunderstandings.
At the moment, I think that the most reasonable approach to compile OCaml to WASM is to pick a bunch of WASM extension specifications (e.g. GC, tail calls, extensions) and...
Traditionally, OCaml has a single stack (https://github.com/ocaml-multicore/ocaml-multicore/wiki/Native-code-notes#stack-layout-at-caml_start_program-vanilla-amd64) that holds both information about control flow and the values of local variables. Traditionally, there are only caller-save registers. Generally, mapping registers of...
As I understand it, Ruby internally uses pointer-tagging to represent efficient 31-bit integers on the heap. The WASM garbage collector specification includes a `i31ref` type that is exactly this: a...
Alternatives to i31ref wrt compiling parametric polymorphism on uniformly-represented values (OCaml)
As `i31ref` doesn't seem to be an unanimously-agreed-on (see https://github.com/WebAssembly/gc/issues/53) part of the GC MVP spec, I am very interested in discussing what the concrete alternatives to it are in...
Using `wat2wasm --enable-gc` on the current WASM GC branch (https://github.com/WebAssembly/wabt/tree/19e51dbb3ccd2e1586f7aeb49f2f0f0c78169423), I get these errors: ``` problem.wat:11:4: error: type mismatch in local.set, expected [ref 1] but got [ref 0] (local.set $new_obj)...
What I've seen: - For `ocaml-base-compiler`, documentation is generated successfully at https://ocaml.org/p/ocaml-base-compiler/5.0.0/doc/index.html. - Stdlib is not published as an opam package. It would be helpful to have it as an...
Using `dune utop` in a project to load all the project's modules into utop, it would be great if there was a workflow that reloads/recompiles modified/added/removed files. Current workaround: quit...