m-ou-se / blog

My blog. https://blog.m-ou.se/

4 stars 0 forks source link

rust-standard/ #11

Open utterances-bot opened 1 year ago

utterances-bot commented 1 year ago

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/

avdb13 commented 1 year ago

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).

the3wave commented 1 year ago

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

caloo commented 11 months ago

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.

Haislich commented 2 months ago

Thank you for the explanation.