Rust

5989 readers

35 users here now

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

Wormhole

!performance@programming.dev

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

snowe@programming.dev

Ategon@programming.dev

EdTheLegendary@programming.dev

kahnclusions@programming.dev

torcherist@programming.dev

Rust needs an official specification (tweedegolf.nl)

submitted 3 days ago by snaggen@programming.dev to c/rust@programming.dev

21 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] FizzyOrange@programming.dev 27 points 3 days ago (11 children)

It's not because we have tested this program extensively on every C++ compiler, but because the language rules of C++ say so.

Debatable. Saying things in a prose specification doesn't magically make them happen. Tests and reference models can though.

I also don't really agree with the SIL requirements that languages need to have rigorous specifications to be safe. Clearly it's better if they do, but would your rather fly on a rocket controlled by C code or Rust code?

IMO a specification would be really nice to have, but it main purpose is to tick a certification checkbox, which is why the only one that exists was written specifically for that purpose.

[–] UnfortunateShort@lemmy.world 16 points 3 days ago (1 children)

Depends, if it's my Rust code I'd rather get some Torvalds-Level C please

[–] taladar@sh.itjust.works 9 points 2 days ago (1 children)

After reading LWN Kernel articles for a while now I would much rather have the Rust please. The C code base of the Linux kernel seems a total mess despite Torvalds having the final say on what is merged and what is not.

[–] sugar_in_your_tea@sh.itjust.works 2 points 1 day ago

Well, he didn't write most of it, and reviews will never be perfect.

load more comments (9 replies)