Blöcke (let)

sqrt (x^2 + y^2 )

let { a = x^2 ; b = y^2 ; c = a + b } in sqrt c

sqrt ( let { a = x^2 ; b = y^2 ; c = a + b } in c )

Übersetzung (für Geradeausprogramme)

let { v_1 = a_1 .. v_n = a_n } in b

(\ v_1 .. v_n -> b) a_1 .. a_n

...das ist nicht die ganze Wahrheit