Sunday, January 18, 2009

Ch2, Ex1

Kernel language transform of given program:

P = proc { $ X }
local T in
T = X>0
if T then {P X-1} end

proc statement creates a value of procedure type and binds it to the identifier P. Second occurence of P is Free with respect to the proc statement as declaration of P is not inside it (from defn of free variable on page #64).

No comments:

Post a Comment