@msimoni: I created this in one day, and it's a bit of a frankenlanguage, but it does have some interesting ideas and results: Id…

I created this in one day, and it's a bit of a frankenlanguage, but it does have some interesting ideas and results: Idle: A statically-typed, low-level "Lisp" for Wasm GC - A simple single-inheritance object system that allows O(1) method lookups based on Wasm GC type information. - Lisp syntax with macros that are loaded from WebAssembly modules. Macros receive and return syntax forms (conses) as normal GC'ed objects. - Static type checking for the object system and method calls. Only subsections of code need to be typed, user can use full .wat syntax elsewhere. On V8, seems to perform well relative to mature compilers like Guile and JS with very little code. Implementation vibed, but not too shabby. Since this is WIP, for now a clanker-written article will have to suffice, see below.