I love thinking about ideas like this. A few years back, I wrote a kernel that ran wasm similar to how Closos would run lisp. Webassembly is perhaps a bit uninspired compared to lisp, but there are many advantages, although the system cannot be dynamic in the same way that this would be.<p>I'd love to see these kinds of ideas revisited.