• 0 Posts
  • 9 Comments
Joined 5 days ago
cake
Cake day: December 16th, 2024

help-circle



  • esa@discuss.tchncs.detolinuxmemes@lemmy.worldLinux and Chill
    link
    fedilink
    arrow-up
    3
    arrow-down
    1
    ·
    2 days ago

    Yeah, that’s the correctness focus. Some people dislike it as a straitjacket, some even take it as a personal insult because they see it as a skill issue. They, the good devs, shouldn’t be held back like that (spoiler: they aren’t as good as they think they are).

    Personally I like that aspect of Rust, but I also write Python with a typechecker and a loong list of enabled lints in ruff. I can get the happy path done without it, but having just the happy path often isn’t good enough.

    Enforced correctness helps a lot with confidence for those of us who know we sometimes make bad assumptions or forget some nuance or detail. But it will be absolutely infuriating for people who can’t stand being told they made an error, even one of omission.


  • The serious answer here likely has several components:

    1. Some people and businesses have invested a lot in languages that governments are now trying to deprecate. When someone is told that their assets may be stranding, and please move on to $NEWTHING, they’re likely to get … grumpy. Both they and the government may be correct here, even if they’re at odds—they have different scopes and concerns.
    2. Differing values. See e.g. Cantrill’s “Platform as a reflection of values”.
    • Rust highly values correctness, which will feel like a straitjacket to a lot of people.
    • It also moves as much error detection as it can to the compilation stage, which won’t sit well with people who want to get something out the door ASAP and then find the bugs as they happen.
    • So it also encourages tackling complexity early rather than kicking the can down the road, which again isn’t to everyone’s preference.