this post was submitted on 31 Aug 2023
68 points (97.2% liked)
Programming
17443 readers
329 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
In purely practical terms, Rust gives more precise resource control (deterministic memory management instead of garbage collection). In language geek terms, Rust has a more precise type system that lets you capture and enforce program invariants at compile time, in ways that Go doesn't. That makes refactoring more reliable among other things. Is it worth it? That's a variant of the age old debate between static and dynamic type systems.
I would say language theory is an important branch of CS, that anyone trying to be a strong programmer should know something about, just like they should know how the quicksort algorithm works or that the halting problem is undecidable. If Rust isn't to your fancy, you might try Haskell, which has a similar (maybe even fancier) type system, but is garbage collected and has a different execution model. Try learnyouahaskell.com for a good tutorial.
Disclosure: I use Haskell but for now haven't yet used Rust. Rust is interesting, I just haven't gotten to it yet. I do like Ada.