I don't think they should be defined in terms of any programming language. They should be defined in terms of the architecture - bits, bytes, words and instructions, along with semantics of use. Like we do with networking protocols and file formats.

It's being worked on! https://github.com/rust-lang/rfcs/pull/3470