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


[+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:
>
> http://github.com/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:
>
> http://github.com/arjunguha/ML-LambdaJS/blob/master/data/es5-lib.es5#L454
>

Very cool!



> (Feel free to forward to the list if you think they're interested, but
> I figured you'd care to see).
>

Forwarded.



>
> Cheers,
> Joe
>



-- 
    Cheers,
    --MarkM
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20100802/74e0eb1f/attachment.html>


More information about the es-discuss mailing list