Speicher--Übung

Fakultät imperativ:

let { fak = \ n -> 
        { a := new 1 ;
          while ( n > 0 ) 
            { a := a * n ; n := n - 1; }
          return a; 
        }
    } in  fak 7

Dabei Schleife durch Rekursion ersetzen

fak = let { a = new 1 }
      in  Rec f ( \ n -> ... )