this post was submitted on 27 Apr 2024
107 points (96.5% liked)

Rust

6030 readers
1 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

[email protected]

Credits

  • The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 1 year ago
MODERATORS
107
submitted 7 months ago* (last edited 7 months ago) by [email protected] to c/rust
 

This was a really good summary of what Rust feels like in my opinion. I'm still a beginner myself but I recognize what this article is saying very much.

The hacker news comments are as usual very good too:

https://news.ycombinator.com/item?id=40172033

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 14 points 7 months ago (2 children)

IDK, I wrote Go for years (from 1.0 up to 1.16 or so) and just got tired of all the footguns. So I write in Python for things that don't need to be fast, and Rust for things that do.

Some criticisms of Go:

  • minimal protection for concurrent memory writes, and no protection for reads - big article about data races - these are largely caught by the Rust compiler in safe code
  • mediocre scope guards - it just has defer(), which is nice, but I much prefer Rust's Mutex<T> to Go's defer m.Unlock()
  • nil instead of monadic Result - even worse, (*int)(nil) == nil but interface{}((*int)(nil)) != nil - so checking for nil isn't even always what you expect

Each of these has bitten me and cost me hours of debugging each time it happens, and it usually only happens in production or under heavy internal testing before a release.

I went into Go expecting it to deliver more than it does, probably because of the marketing. I thought it had safe concurrency, but it really just has memory safety (i.e. it'll panic() instead of accessing invalid memory, but doesn't protect against wrong but not invalid memory access). Each time I learned something odd about it, I just gave it a pass because goroutines are so nice (they still are), but after almost 10 years of writing in Go, I've decided it's just not worth it.

Yes, Rust has a bit of friction with the compiler, but that's getting better with every release, and I can attest that after working with it for a few weeks, you learn to write code that avoids compiler fails more often than not. I use it for most of my personal projects (currently writing a p2p app with lots of async code), and it's a great tool. I still use Python for scripts and one-off projects (and my day job, which has lots of microservices), but Rust is my favorite.

Go is nice, provided you strictly follow conventions, but I don't think it works as well for larger projects, because you will run into those footguns. Maybe it won't be you, but someone in your team will do something stupid and you'll spend hours or maybe days debugging it.

[–] [email protected] 3 points 6 months ago

I like go in general but I agree, it's probably oversold. For me it's a pragmatic language and I like it but there's some real defensiveness about its shortcomings. In which regard , the go community has a lot in common with the rust community.

[–] [email protected] 2 points 7 months ago (1 children)

I'm still in my honeymoon-ignoring-footguns phase with go, but am well aware I'm on the same path. I do really love how quick is it to generate a static binary that will always work.

[–] [email protected] 3 points 7 months ago* (last edited 7 months ago) (1 children)

Oh yeah, that is really nice, and something fantastic about Go.

That said, I found that I care about that a lot less now than I used to. With everything running through CI, having a build take a few minutes instead of a few seconds isn't really a big deal anymore. And for personal things where I used to build small Go binaries, I just use Python, mostly because it's easier to drop into a REPL than to iterate with Go.

I like Go in theory, and I hope they fix a lot of the issues I have with it. But given that Go 2 isn't happening, maybe it won't. Or maybe they'll do the Rust editions thing (seems to be the case in that article) so they can fix fundamental issues. IDK. But I'm guessing some of the things I want aren't happening, like:

  • map[K]V should be concurrency-safe, or at least have a safe counterpart w/o needing an import
  • destructors, or something like Rust's Drop trait
  • interface{}(T(nil)) == nil - or better yet, no nil at all
  • slices shouldn't be able to write beyond their bounds (example here)

Those are pretty fundamental to how Go works, though maybe the last one could be fixed, but it has been there since 1.0 and people have complained since 1.0...

[–] [email protected] 2 points 6 months ago (1 children)

I haven't really written any Go but from trying to debug some issues in Go software and looking at the source code it seems to be the kind of garbage language that is write-only and likely most major projects written in it will take a full rewrite if you want to overhaul it for a new major version (as in the kind of major version where the code base changes significantly, not the kind where you just broke some minor API).

[–] [email protected] 1 points 6 months ago

Honestly, I disagree, but I obviously haven't seen the code in question.

Go has a lot of really nice things going for it:

  • very simple syntax - you're not going to miss a bug because of something small
  • obvious error handling - no hidden exceptions to disrupt logic flow - Rust does this well too
  • lots of idioms, so deviations are obvious - e.g. channels for synchronization

My problem isn't with normal program flow, but that the syntax is deceptively simple. That complexity lives somewhere, and it's usually in the quirks of the runtime. So it's like any other abstraction, if you use it "correctly" (i.e. the way the maintainers intended), you'll probably be fine, but if you deviate, be ready for surprises. And any sufficiently large project will deviate and run into those surprises.