Motivation

(Literatur: DCPL 17.10) -- Beispiel:

let { linear = \ a -> \ x -> a * x + 1 
    ; f = linear 2 ; g = linear 3
    } 
in  f 4 * g 5

beachte nicht lokale Variablen: (\ x -> .. a .. )



Johannes Waldmann 2014-03-31