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.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
Maybe I just suck at Rust. 🤷