Description

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₂]]