Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rust-standard/ #11

Open
utterances-bot opened this issue Oct 26, 2022 · 4 comments
Open

rust-standard/ #11

utterances-bot opened this issue Oct 26, 2022 · 4 comments
Labels

Comments

@utterances-bot
Copy link

Do we need a "Rust Standard"? - Mara's Blog

Languages like C and C++ are standardized. They are fully specified in an internationally recognized standards document. Languages like Python, Swift and Rust do not have such a standards document.
Should Rust be standardized? Why, or why not? In this blog post, I try to explain why I do think we need an accurate specification, why I do not think we need “standardization” (depending on your definition), and give an overview of the current state of Rust’s stability and specification efforts.

https://blog.m-ou.se/rust-standard/

@m-ou-se m-ou-se added the comments label Oct 26, 2022 — with utterances
Copy link

avdb13 commented Nov 7, 2022

Thanks for the article, 99% of the people who say "there's no standard for Rust!" have no reasons to worry about this as by the time they're good enough at programming Rust to write some safety-critical software a standard will have been finished (Ferrocene is opting for 2023).

Copy link

the3wave commented Feb 3, 2023

Never income for standardization organizations. It would be his death ....

Copy link

caloo commented Sep 19, 2023

It's a lot of text but finally I derive that Rust is standardized, just not by an international standardization organization. A more formal language specification (in natural language just like in other languages) corresponds just to a higher maturity level of standardization. Ideally a language just by specified by a machine-checkable formal language so that source and binary code can be formally verified more easily.

Copy link

Thank you for the explanation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

6 participants