3 ms·
GCC is first and foremost a compiler for GNU C, which is a set of unspecified extensions to C, which is a language that achieved near-universal adoption despite
by jmillikin 3y ago
GCC is first and foremost a compiler for GNU C, which is a set of unspecified extensions to C, which is a language that achieved near-universal adoption despite decades of competing mutually-incompatible implementations.
C++ templates are Turing-complete, and GCC implements them just fine.
The idea that Rust requires a formal specification (outside very rare situations, like aeronautic firmware) is silly.
- Vogtinator 3y agoYou forgot the </sarcasm> tag. Or are you actually serious with your comment? GCC supports various "flavors" of C, including fully standard compliant versions. GNU extensions are all documented.
- jmillikin 3y agoGCC by default runs in GNU C mode, which accepts constructs that are not valid in any version of ISO C. Its extensions are not part of the language spec, and the only way to discover their behavior is by reference to implementation-specific documentation/code. That is also the situation Rust currently is in. There is no Rust spec, only a reference manual for rustc. People who complain about unspecified behavior in Rust (or, equally, about Rust's lack of a language spec) are not satisfied with mere documentation. They want something like the Java language specification and conformance test suite.
- anthk 3y agoCheck GCC-ADA and Spark.
- deleted 3y ago[deleted]