&gt; We (the computing industry) did the single-address thing for many years.<p>While using shitty languages, so not that relevant IMO.<p>&gt; But different languages are better suited to different tasks.<p>I think the industry can support multiple competing unikernels in different languages.<p>&gt; ...tightly coupled...<p>Rigorously define ones interfaces while hiding implementation details :). Yeah it takes discipline, and OCaml&#x2F;Rust&#x2F;Haskell&#x2F;etc are not able to codify all the invariants one might want to enforce. But as more powerful languages are polished, I believe that the situation will improve. I dream of a computing service where one submits software &#x2F; with proof that it will &quot;play nice&quot; with other tenants, no hardware sand-boxing needed.