Settings

Theme

Why Zig Is Quietly Doing What Rust Couldn't: Staying Simple

freedium-mirror.cfd

43 points by RustSupremacist a month ago · 35 comments

Reader

ChadNauseam a month ago

I know this post is AI generated to some extent but I'm still curious. The subtitle says:

> Rust shouted about safety. Zig just built it — without the ceremony, the sermons, or the 15-minute compile times.

Which I interpret as meaning that zig delivers memory safety in a simpler way than rust. But a few paragraphs in, it says:

> Rust teaches you ownership like a tough-love therapist. Zig, meanwhile, just shrugs and says, "You break it, you fix it." That's the philosophical divide. Rust assumes you can't be trusted. Zig assumes you're an adult.

Does this mean that zig's safety depends on trusting the programmer to write correct code? This wouldn't necessarily be a bad thing if zig makes correct code simple to write or has other advantages, but if incorrect code is allowed it makes sense why the compiler can be more permissive and I wouldn't say it's quite delivered the same thing as Rust.

Ok, another thing:

> Zig looks boring. Feels boring. Reads like a C project written by someone who finally went to therapy.

    pub fn main() void {
        const stdout = std.io.getStdOut().writer();
        stdout.print("Hello, World!\n", .{}) catch unreachable;
    }
> That's it. No macros. No build.rs. No Cargo screaming about outdated crates.

Am I crazy or does this not actually look simpler than

    fn main() {
        println!("Hello, world!");
    }
Is the zig version doing something other than hello world? Or did the author, in their post about how zig is simpler and more readable than rust, choose a code example where the corresponding rust code would be much simpler and more readable?
  • tuetuopay a month ago

    Zig's memory safety has nothing in common with Rust. I'd even say, it mostly has barely more than C. It gets reliability from proper error handling.

    It has a very weird feeling complaining about build.rs when any semi-serious Zig project comes with a build.zig that's always more complex than any build.rs.

  • codeflo a month ago

    Logical contradictions in AI slop? Unthinkable!

    But to address the serious question: We can't have all three of: a simple language, zero-cost abstractions, and memory safety.

    Most interpreted language pick simplicity and memory safety, at a runtime cost. Rust picks zero-cost abstractions and memory safety, at an increasingly high language complexity cost. C and Zig choose zero-cost abstractions in a simple language, but as a consequence, there's no language-enforced memory safety.

    (Also, having a simple language doesn't mean that any particular piece of code is short. Often, quite the opposite.)

  • gabrielgio a month ago

    There is a simpler version for zig.

        pub fn main() !void {
            std.debug.print("Hello, World!\n", .{});
        }
    
    The only difference is this writes to stderr and does not fail (and explicitly says it is meant for debug), while their example writes to stdout. In zig if you want to write to stdout you need to explicitly pick the std and handle all the details (like error handling).

    He gave the possible worst example, this article is nonsense.

  • karmakurtisaani a month ago

    > Zig assumes you're an adult.

    I hate this line of thinking. It doesn't matter if I'm an adult, if the guy before me was a screaming toddler.

captainbland a month ago

> Rust shouted about safety. Zig just built it

This makes it sound like Zig built Rust equivalent safety but its manual memory model suggests otherwise?

yonki a month ago

>Zig, meanwhile, just shrugs and says, "You break it, you fix it."<

Exactly. That’s what Rust defends us from. It makes breaking things way harder. Rust forces you to think differently, you cannot just do what you want, but that’s it’s selling point. The article focuses mainly on feelings not facts and that’s ok, but I don’t feel exhausted writing Rust. I like that it’s safe and I’m happy to sacrifice some freedom if I get safety in return.

That’s a weird article. Rust wanted to be safe systems language and it is. Where’s the issue? Zig has different goals. That’s ok. What are actually discussing here?

orangeboats a month ago

This was posted less than 2 weeks ago. Why bother doing it again?

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

ashdnazg a month ago

Seems to be hugged to death: https://archive.is/UauYs

ravenical a month ago

Yeah, this is AI.

"1. Rust Promised Us Heaven. Then Gave Us Paperwork.

Remember the hype? Rust was the "C killer." The messiah of memory safety. The savior of systems programming."

_fizz_buzz_ a month ago

Until it gets widely adopted and people want to have certain feature, etc.

rini17 a month ago

Perl too was refreshingly simple and DWIM(Do What I Mean).

And then it wasn't.

can3p a month ago

Reads like a straw man. Was "being simple" anywhere in rust lang agenda?

  • bjackman a month ago

    It's fair to complain about Rust complexity IMO. What's _not_ fair is pointing at Zig as an example of how it could be simpler, when it's not memory safe. The requirements are different. At that point we might as well say "why use Rust when you can just use Go or TypeScript"

lenkite a month ago

I like the article's theme. Coding in Rust does indeed suck brain-power and even after 2 years of off-and-on attempts, I am still faster (and less tired) in other languages (including C++). But the LLM generated text is just deeply pissing me off, sorry. Why use snarky LLM slop here ? Use straightforward, ordinary human-developer language for this.

simonask a month ago

I stopped reading when he compared the Rust compiler to his angry ex.

Like, what are we doing.

This “article” is flame bait.

  • gabrielgio a month ago

    I read it through and there is nothing much there. Most of his points don't hold up to reality as rust is no longer (and hasn't been for a while) a "hyped language" and has proven time and time again to be a valuable language.

CryZe a month ago

Zig has no undefined behavior?

  • Simran-B a month ago

    Zig has the concept of illegal behavior, of which a subset is unchecked illegal behavior - basically undefined behavior, but if evaluated at comptime, it results in a compile error. The documentation also states that most illegal behavior is safety-checked unless you use the ReleaseFast or ReleaseSmall optimization modes (and don't enable safety checks for individual blocks).

MrJohz a month ago

Freedium is down, you may be able to read this using Medium instead: https://medium.com/@daxx5/why-zig-is-quietly-doing-what-rust...

I could only see the first few paragraphs, but the writing is giving off a lot of "AI slop" vibes (or perhaps even "human-written slop", let's give the author the benefit of the doubt). So maybe it's no great loss if it's behind a Medium paywall.

kugutsumen a month ago

AI generated slop...

nottorp a month ago

A thought: is using Rust a form of avoiding responsability?

And a second thought since the article seems to be flagged now: considering the fan reaction to a post disparaging their favorite language, how is the Rust community different from a religious cult now?

  • aw1621107 a month ago

    > is using Rust a form of avoiding responsability?

    How so?

    > considering the fan reaction to a post disparaging their favorite language, how is the Rust community different from a religious cult now?

    Believe it or not, not all criticism is created equal. High-quality criticism is consistently well-received from what I've seen. This doesn't seem to get particularly close to that bar.

    • nottorp a month ago

      I don't think i've seen on HN discussions any criticism directed at rust that was acknowledged as high quality though.

    • nottorp a month ago

      > How so?

      As in: we're using a safe language, it's not our fault.

      • aw1621107 a month ago

        The answer might depend on what exactly you mean by "it", but in any case I'm inclined to disagree. Perhaps you can call using Rust "avoiding responsibility" for memory safety errors, but I don't think that's a particularly useful thing to say since you can say something similar about using calculators/theorem provers for avoiding math errors, FEA for avoiding simulation/math errors, etc. Sure, you're not actually responsible for putting pencil to paper and writing out the algebra/matrix manipulations/theorem derivations/etc., but it's far from unusual to consider using those tools the "responsible" choice where their reliability and/or effectiveness over human work is well established.

        In addition, there's almost always something more going on than using a particular tool and you're generally still going to be responsible for that other stuff anyways. For example, if you're working on something critical and high-integrity you're responsible for the end product functioning as intended no matter how exactly you go about doing that. Using something like SPARK might be a smart way to go about that, but you still need to have processes before using SPARK (e.g., verifying the specifications you're going to implement are what you intend) and processes after using SPARK (e.g., verifying what you implemented is actually what you intended, that the product is indeed working as expected, etc.). If a bug in SPARK results in something unintended happening, you may not be responsible for the faulty proof itself but that's only one failure out of multiple in the entire pipeline - for example, you can't pin a failure to catch the error in testing on SPARK.

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection