3 ms·
Ferrous Systems donated their language specification ("Ferrocene") to the Rust foundation[0] who is working on integrating it but that takes time, obviously. 0
by hypeatei 1y ago
Ferrous Systems donated their language specification ("Ferrocene") to the Rust foundation[0] who is working on integrating it but that takes time, obviously.
0: https://rustfoundation.org/media/ferrous-systems-donates-ferrocene-language-specification-to-rust-project/ https://rustfoundation.org/media/ferrous-systems-donates-fer...
- arccy 1y agoTheir spec just happens to describe whatever the compiler decided to implement, it's not a source of truth.
- Mond_ 1y agoAnd? What did you think it was going to be? An abstract description that completely ignores the existing compiler?
- dgsii 1y agoI don’t think it’s a fair argument to criticize a spec because it’s derived from an implementation. If anything it shows how the spec can be practically applied.
- jjmarr 1y agoThat's literally what the C++ specification does. The reason for all the UB and implementation defined stuff is because 90s compilers disagreed on sizeof(int).
- LexiMax 1y agoHow do you think that C got specified? Do you think that it was made up from whole cloth in the abstract machine and implemented later? No, it was based on the available implementations of its time. On top of that, languages like Python do not have a specification and yet have multiple implementations.