Yes. Except, the language should be expressive enough that you can build abstractions and write "normal" code. And, the compiler should be smart enough to emit efficient native code for your target arch (and not doing FPGA-style hardware synthesis)

Well, that’s true and false.