A language like C, but with a borrow-checker

#1

Post by orangetuba » Fri, Nov 17, 2023, 12:56 PM UTC

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.

Re: A language like C, but with a borrow-checker

#2

Post by steveklabnik » Fri, Nov 17, 2023, 4:31 PM UTC

You may be interested in this post and the one it is refining: https://without.boats/blog/revisiting-a-smaller-rust/

Re: A language like C, but with a borrow-checker

#3

Post by orangetuba » Fri, Nov 17, 2023, 6:35 PM UTC

steveklabnik wrote: post #2

You may be interested in this post and the one it is refining: https://without.boats/blog/revisiting-a-smaller-rust/

Excellent, that's precisely the thing I was looking for! Thank you! I see that there are some tricky issues that would have to be solved with regards to ergonomy, even with an imagined subset of Rust.