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.
There’s <a href="https://www.modular.com/mojo" rel="nofollow noreferrer">https://www.modular.com/mojo</a> a Python superset<p>But it’s meant for AI
You may be interested in this post and the one it is refining: <a href="https://without.boats/blog/revisiting-a-smaller-rust/" rel="nofollow noreferrer">https://without.boats/blog/revisiting-a-smaller-rust/</a>