Wouldn’t that just be logic gates, Mealy and Moore machines written in text form?

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.