At a quick glance, it looks like OCaml-without-objects (or labels, or polymorphic variants, or GADTs), with better printing. In my books, that's a pretty sweet

At a quick glance, it looks like OCaml-without-objects (or labels, or polymorphic variants, or GADTs), with better printing. In my books, that's a pretty sweet spot to be: - stronger typing than TypeScript/AssemblyScript, while being similarly flexible; - simpler and more gc-ed than Rust. Of course, no ecosystem yet afaict. Next time I start a project that targets wasm, I'll definitely look at Grain.