> (Of course, for GC'd languages, we will need aggregate types.) Maybe, maybe not. I've had parts of a precise, copying, compacting (commercial grade) garbage

> (Of course, for GC'd languages, we will need aggregate types.) Maybe, maybe not. I've had parts of a precise, copying, compacting (commercial grade) garbage collector running under emscripten. It "crashes" still, but seems viable.