having a blast reading the JavaScript spec. (ECMAScript Language Specification - ECMA-262 Edition 5.1) Just occurred to me it's possible to turn ECMAScript spec into a formal language. Big project though. But easier than say Python or Java.

you see, there are hundreds pages of English verbosity. And quite imprecise and open to interpretation. So, the desire is to turn it into symbolic logic. More specifically, formal language. That is, a set of strings and string transformation rules, that fully specify JavaScript.

ECMAScript Language Specification - ECMA-262 Edition 5.1
http://xahlee.info/javascript_ecma-262_5.1_2011/JavaScript_ECMA-262_5.1_2011.html

Programing Language Design
http://xahlee.info/comp/comp_lang.html

Math Notations, Computer Languages Syntax, and the “Form” in Formalism
http://xahlee.info/cmaci/notation/index.html
Shared publiclyView activity