Some memory-safe languages are capable of code generation. I think the ones that aren't should be. Admittedly, I don't know any compiler backends that generate

Some memory-safe languages are capable of code generation. I think the ones that aren't should be. Admittedly, I don't know any compiler backends that generate COBOL.