A language like C, but with a borrow-checker

2 points by orangetuba 1 year ago | 4 comments
I really appreciate the idea of a Rust-like borrow-checker, but I think Rust is too complicated. Wouldn't it be possible for someone to make a smaller language like C, but with a borrow-checker? It seems that most of the aversion to Rust is the sum of its complexity.