AFAICT, they're both trying to achieve Rust's power with much more simplicity. Val uses mutable value semantics, which (afaict) is like using Rust's &mut and .c

AFAICT, they're both trying to achieve Rust's power with much more simplicity. Val uses mutable value semantics, which (afaict) is like using Rust's &mut and .clone() a lot. Vale uses a foundation of generational references, then region borrow checking to eliminate their overhead. And it gets even better! There's VALE (Verified Assembly Language for Everest) and two Vlangs ;)