For those use cases, I've always encouraged new languages to support transiting to a verifiable subset of C or another language with such tooling. Errors detect

For those use cases, I've always encouraged new languages to support transiting to a verifiable subset of C or another language with such tooling. Errors detected in the other language can be corrected in the source written in the new language. The abstraction gaps must be minimized, though.