A language that supercedes C, but with a borrow-checker

3 points by orangetuba 2 years ago | 2 comments

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?

niktar 2 years ago |

May be this is what you are looking for: https://vale.dev/

orangetuba 2 years ago | |

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"