- Wasm, just no, it's a strongly path-dependent outgrowth of whatever JS happened to look like, and then optimized to asm.js and mutated from there, or am I wrong?
- Uxn is more written for easy and fun of implementing and writing for, I think? Performance and versatility for general-purpose computing isn't really a goal?
- FCode + OpenFirmware probably does well, but is also based more on what's familiar and available and works, rather than theoretical foundations?
- Pascal-P and Pascal-S p-code and BCPL O-code are (1) early and (2) language-specific
- Too many other highly language-coupled VMs to mention