Ejercicio ligaduras

Asuma ambiente inicial vacio

let
    x = 10
    y = 20
    z = 30
    in
        let
            a = let x = +(x,2) y = -(y,3) in let y = +(x,y) in +(x,y,z)
            b = +(z,y)
            c = if >(x,10) then +(x,10) else let a = +(x,y) in *(a,2)
        in
            let
                f = +(a,b,c)
                g = +(x,y,z)
                in
                    +(f,g)

Resultado 241, hacer diagrama de ambientes

graph TD
    A["Empty-env"] --> B["env0
    x y z
    10 20 30
    "]
    B --> C["
    env1
    a b c
    71 50 60
    "]
    B --> D["enva
    x y
    12 17"
    ]
    D --> E["envay
    y
    29
    "]
    B --> F["envc
    a
    30"
    ]
    C --> G["env2
    f g
    181 60
    "]

Sobre ambiente envay ejecutar \(+(x,y,z) = (12,29,30) = 71\) Sobre ambiente envc ejecutar \(*(2,a) = 60\) Sobre ambiente env2 ejecutar \(+(f,g)=+(181,60)=241\)