• Top
  • New

A language like C, but with a borrow-checker

by orangetuba on 11/17/2023, 12:56:42 PM with 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.

  • by heldrida on 11/19/2023, 12:23:14 AM

    There’s https://www.modular.com/mojo a Python superset

    But it’s meant for AI

  • by steveklabnik on 11/17/2023, 4:31:27 PM

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

  • by simon_void on 11/18/2023, 9:16:35 PM

    check out Inko https://inko-lang.org/