States and transitions of the attributes of an EcmaScript 5 property
Mark S. Miller
erights at google.com
Mon Aug 2 06:25:17 PDT 2010
On Mon, Aug 2, 2010 at 12:29 AM, Joseph Politz <joe at cs.brown.edu> wrote:
> Thought it was cool that there is part of the LambdaJS interpreter
> designed to express *exactly* the same state transitions:
> In LambdaJS programs, changes to object properties cannot deviate from
> this diagram. It's baked in to the semantics.
> My "page of dense pseudocode" is in the desugaring environment,
> written in LambdaJS:
> (Feel free to forward to the list if you think they're interested, but
> I figured you'd care to see).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the es-discuss