3 ms·
Right. Also, sometimes you want to leave things undefined. This killed the attempt to create a formal specification for ECMAScript 4 back in the day. For examp
by pcwalton 8y ago
Right.
Also, sometimes you want to leave things undefined. This killed the attempt to create a formal specification for ECMAScript 4 back in the day. For example, it was hard to formally specify things like "Array.sort calls the sorting order callback in such a way as to make the array sorted" without mandating a particular sorting algorithm.
- sanxiyn 8y agoMaybe formal specification could have been done for the language but not for the standard library. Note that formal specification of ECMAScript 5 does exist (JSCert), although it is not de jure and it does not handle the standard library.