testable specification

Michael Dyck jmdyck at ibiblio.org
Wed Oct 26 12:08:18 PDT 2011

According to
goal #2 of Harmony is:
     Switch to a testable specification, ideally
     a definitional interpreter hosted mostly in ES5.

Is there much activity toward this goal? The current ES6 drafts are
using mostly the same formalism as ES1 (although there was a marked
de-spaghettification between ES3 and ES5).

(I ask because, in my spare time, I'm developing a process that massages
the ES spec into an executable/testable form. So I wonder if I'm
duplicating existing work.)


More information about the es-discuss mailing list