Ada get compiled to machine code, so of course it can run directly on the CPU. There's also no reason it can't be used to write a compiler and there's probably

Ada get compiled to machine code, so of course it can run directly on the CPU. There's also no reason it can't be used to write a compiler and there's probably several Ada compilers written in Ada. I'm not sure what you mean about binary data having to be embedded in the code generator; you can easily generate arbitrary binary data from almost any language.