Syntax: Lokale Deklarationen: let ...in ...

A: Ausdruck, d: Name, T: Typ, W, A: Ausdruck

     let d :: T
         d = W
         ..
     in  A
vergleichbar mit (Java):
{ T d = W; // Deklaration mit Initialisierung
; return A
}



Johannes Waldmann 2006-06-22