States and transitions of the attributes of an EcmaScript 5 property
# Mark S. Miller (15 years ago)
[+es-discuss, +es5-discuss]
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:
arjunguha/ML-LambdaJS/blob/master/src/es5_eval.ml#L175
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:
Very cool!
(Feel free to forward to the list if you think they're interested, but I figured you'd care to see).
Forwarded.
The explanation at < es3.1:attribute_states> may make the
semantics of ES5 property changes easier to understand. It grew out of a diagram I drew for my own clarification.