After using Rust for many months I feel like it's just not a great language. Reasoning through borrow semantics for reasonably sized programs is too tedious.


I like the idea of substructural type systems! I feel like we aren't there yet with Rust in how to design a language with such a type system though.

@robd My experience is (mostly) not firsthand but what I hear is that everyone sucks at Rust at first.

@soaproot Yeah, I'm at the point I can consistently get to working code, but the process of satisfying the borrow checker is feeling like a real grind.

@robd @soaproot eventually you structure your code in a way that flows with the borrow semantics and you never think about it anymore. It's a paradigm shift kinda thing, I think

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.