There's nothing "broad" about a compiler not generating "exactly one binary". First, most of the time, even in conventional systems, it is the linker who create

There's nothing "broad" about a compiler not generating "exactly one binary". First, most of the time, even in conventional systems, it is the linker who creates that binary, not the compiler. Second, in other systems, such as Oberon, there's not even "exactly one binary" for anything, unless you're talking about the currently running system as a whole.