Ejercicio condicionales y ligaduras

Considere el ambiente inicial env0 con (x,y,z) con valores (1,2,3)

let
    a = +(x,1)
    b = let x = x in let x = y in let x = z in x
    c = let x = let y = let z = +(x,y) in +(z,y)
                in +(x,y)
        in +(x,y)
    in
        let
        u = +(a,b)
        v = +(a,let p = +(x,y) in let q = +(x,z) in +(p,q))
        w = +(a,let b = let b = +(x,y) in +(b,2) in +(a,b))
        in
            +(u,v,w)

Da 23

graph TD
    A["empty-env"] --> B["env0
    x y z
    1 2 3"]
    B --> C["env1
    a b c
    2 3 8"]
    B --> D["envbx1
    x
    1
    "]
    D --> E["envbx2
    x
    2"]
    E --> F["envbx3
    x
    3"]
    B --> G["envcx
    x
    6"]
    B --> H["envcy
    y
    5"]
    B --> I["envcz
    z
    3"]
    C --> J["env2
    u v w
    5 9 9"]
    C --> K["envvp
    p
    3"]
    K --> L["envvq
    q
    4"]
    C --> M["envwb1
    b
    5"]
    C --> N["envwb2
    b
    3"] 

• Evaluamos \(+(z,y)\) en el ambiente envcz \(+(3,2)=5\)
• Evaluamos \(+(x,y)\) en el ambiente envcy \(+(1,5)=6\)
• Evaluamos \(+(x,y)\) en el ambiente envcx \(+(6,2)=8\)
• Evaluamos \(+(p,q)\) en el ambiente envvq, nos da 7
• Evaluamos \(+(a,7)\) en el ambiente env1, lo que da 9
• Evaluamos \(+(b,2)\) en el ambiente envwb2, lo que da 5
• Evaluamos \(+(a,b)\) en el ambiente envwb1, lo que da 7
• Evaluamos \(+(a,7)\) en el ambiente env1, lo que da 9
• Evaluamos \(+(u,v,w)\) en el ambiente env2, lo que \(+(5,9,9)\) no da 23