Vale is interesting, https://vale.dev/ https://vale.dev/ For memory safety compared with Rust it does not use a borrow checker for the price of more checks and

Vale is interesting, https://vale.dev/ https://vale.dev/ For memory safety compared with Rust it does not use a borrow checker for the price of more checks and extra memory usage at runtime while avoiding GC or even reference counting. I think this is very interesting trade off. Plus there are plans to implement few interesting ideas that even Rust type system cannot implement while keeping the language simple.