3 ms·
A language like C, but with a borrow-checker
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.
- steveklabnik 3y agoYou may be interested in this post and the one it is refining: https://without.boats/blog/revisiting-a-smaller-rust/ https://without.boats/blog/revisiting-a-smaller-rust/
- orangetuba 3y agoExcellent, 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.
- deleted 3y ago[deleted]
- simon_void 3y agocheck out Inko https://inko-lang.org/ https://inko-lang.org/
- punkbit 3y agoThere’s https://www.modular.com/mojo https://www.modular.com/mojo a Python superset But it’s meant for AI