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

Programing Language Design

Math Notations, Computer Languages Syntax, and the “Form” in Formalism
Shared publiclyView activity