> > C has a spec. No spec means there’s nothing keeping rustc honest. >Agreed, language specification is critical. The language reference [1] is very detailed,

> > C has a spec. No spec means there’s nothing keeping rustc honest. >Agreed, language specification is critical. The language reference [1] is very detailed, though. I'm not sure what it would take to promote this to a "specification." But even the C specifications is mostly informal, there are some parts of C that has formal specification but to my knowledge not everything is. Where as something like SML has a full formal specification. Which mean that you do not have any undefined behaviour. http://sml-family.org/sml97-defn.pdf http://sml-family.org/sml97-defn.pdf