Translating SimpleJS into LambdaJS

1. Implement the following translation function from SimpleJS into LambdaJS.

def

J[[x.y]] ==(deref x)[y]

def

J[[x.y := e]] ==let data = [[e]] in

let o = (deref x) in

x := o[y] data; data

J[[x.y(e)]]] ==^def let m = (deref x)[y] in

let f = (deref m)[$code] in f(x,[[e]])

J[[function(x) {e}]] ==^def alloc {$code : (this,x).[[e]],prototype : alloc {}}

def

J[[new e_f(e)]] ==let ctor = deref [[e_f]] in

let obj = alloc {$proto : ctor[prototype]} in

let f = ctor[$code] in f(obj,J[[e]]); obj

def

J[[c]] ==c

def

J[[x]] ==x

def

J[[let x = e₁ in e₂]] ==let x = [[e₁]] in [[e₂]]