@sir I don't understand what is the link between your reasoning on GNU extensions (which is valid) and Rust language...

Rust is clearly documented and spec will come later to help implement compilers. Meanwhile it is ported to various operating system already and is clearly good at handling FFI and differences between the language version.

@sir @amdg2 it doesn’t have a spec yet, but people are working on it and they are paying a lot of attention to have a reasonable specification that is not ambitious and that provides strong guarantees in the case of unsafe rust

C has a spec, but it’s ambiguous and often ignored by people
Follow

@epicmorphism @sir @amdg2 MIR (it's intermediate representation) is also formally verified (or at least most of it is?)
And for what I used it for, Rust's complexity allowed me to write simpler software than C or C++.
And the memory safety benefits it brings are not negligible. Now that we have rust we can actually see how linear types are used in practice, and the next implementation can learn from that and simplify things. But we needed a language people actually used to get there.

· brutaldon · 0 · 0 · 3
Sign in to participate in the conversation
Cybrespace

Cybrespace is an instance of Mastodon, a social network based on open web protocols and free, open-source software. It is decentralized like e-mail.