LambdaJS
LambdaJS copied to clipboard
brownplt
Semantics and tools for JavaScript
I wanted to experiment with the desugarer, trying to understand the paper ("The Essence of JavaScript") so I spent a bit of time making it buildable. For the record, here's...
When we execute this code, ``` JavaScript lbl: for(var i=0;i
``` (define-metafunction lambdaJS subst-n : (x any) ... any -> any [(subst-n (x any) ... any_body) ,(subst (term (x ...)) (term (any ...)) (term any_body))]) (define (subst vars replacements body)...
See the updated examples in http://redex.plt-scheme.org/lam-v.html
Nested function definitions are not allowed in ECMAScript but most browsers allow them. Actually, ECMAScript is aware of it. The ECMAScript specification contains the following note: NOTE Several widely used...
) We found that the "with" desugaring presented in the paper does not capture the implementation. The desugared "with" example in page 12 of the ECOOP 2010 paper is as...