Hasta ahora los procedimientos no se pueden conocer a si mismos dado que la clausura almacena el ambiente anterior, ejemplo

let
    f = proc(x,y) if >(x,0) +(y, f(sub1(x),y)) else y
    x = 10
    y = 8
in
    (f x y)

Al evaluar tenemos esto

graph TD
    A["empty-env"] --> B["env0
    f
    closure('(x,y) ... empty-env)"]
    A --> C["envf1
    x y
    10 8"
    ]

Sobre el ambiente envf1 voy a evaluar

if >(x,0) +(y, (f sub1(x) y)) else y
if >(10,0) +(y, (f sub1(x) y)) else y
 +(y, f(sub1(x),y)) 
+(8, f(9,8))

Al intentar buscar f en este ambiente, terminamos en el ambiente vacio lo que produce un error

Temas¶