[vollbrecht]

Rust has now a donated spec that was provided by Ferrocene. This spec style was influenced by the Ada spec. It is available publicly now on https://rust-lang.github.io/fls/ .

This is part of the effort of Ferrocene to provide a safety certificate compiler. And they are already available now.

[gkbrk]

This is only meaningful if Rust compiler devs give any guarantees about never breaking the spec and always being able to compile code that adheres to this spec.

[the_duke]

Why so?

Specs for other languages are also for a specific version/snapshot.

It's also a specific version of a compiler that gets certified, not a compiler in perpetuity, no matter what language.

[tialaramex]

How is this different from the existing situation that Rust remains compatible since Rust 1.0 over a decade ago?

[pornel]

By that criteria there's no meaningful C++ compiler/spec.