Imagine a world where the code we write for humans would actually integrate with other computers