I&#x27;d love QEMU to move to some safer language. Unfortunately I don&#x27;t know any which meet the necessary criteria:
 - support linux, osx, windows
 - mature enough for widespread support in distros
 - support at least half a dozen different host cpu architectures
 - simply interoperable at a C ABI level so you can move parts of the system to the new language without doing a 100% rewrite<p>(There are probably other requirements too but that last one is the biggie really.)