\begin{slide}{Blöcke (let)}

\begin{verbatim}
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 )
\end{verbatim}

Übersetzung (für Geradeausprogramme)

\begin{verbatim}
let { v_1 = a_1 .. v_n = a_n } in b

(\ v_1 .. v_n -> b) a_1 .. a_n
\end{verbatim}

\dots das ist nicht die ganze Wahrheit

\end{slide}

