Continuing from my last post, I've been daydreaming about migrating existing software from C/C++ to something safer. Importantly, I want to avoid ab-initio rewrites and gradually migrate an existing codebase.
I learned that Modula-2 (and Object Pascal) require manual memory management, so won't satisfy my requirements. D is the next oldest language, and it has had some recent improvements:
I did try to get something similar for Go to work, but failed. And even though it's impressive, I think Rust's semantics are so different that a rewrite would be required.
So I've been learning D (or at least the subset needed to do the above). Looks straightforward so far, at least compared to Rust. Although I prefer ISLisp, sometimes you just need to bang bits ...