A language that supercedes C, but with a borrow-checker
I am interested in safe languages, but without the complexity of Rust. I already spent many years working with C++, and I notice similar tendencies with Rust. Are there any up and coming, safe alternatives to C, without, perhaps generics and all that it entails? May be this is what you are looking for: https://vale.dev/ Thank you! That is definitely an interesting language. However, it seems like development has stopped. The GitHub page says: "Note: For personal reasons, I'm on an extended break from the coding side of Vale, feel free to DM me on discord for details. - Evan Ovadia"