This &quot;get freedom from binary compatibility by shipping binaries as compiler IR&quot; concept is a venerable one and has been done many times with VLIW machines:<p>See here, <a href="https:&#x2F;&#x2F;scholar.google.com&#x2F;scholar?hl=en&amp;q=A+Technique+for+Object+Code+Compatibility+in+VLIW" rel="nofollow">https:&#x2F;&#x2F;scholar.google.com&#x2F;scholar?hl=en&amp;q=A+Technique+for+O...</a><p>(Not to mention earlier examples like AS&#x2F;400, P-code etc)<p>I think the Mill was doing this too?