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

3 points by orangetuba 1 year 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 1 year ago
    May be this is what you are looking for: https://vale.dev/
    • orangetuba 1 year 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"