Implementierung

let-Polymorphie, Hindley/Damas/Milner

Beispiel

let { c = ... }         
in let { g = \ f x -> f (if b c x) } in ..



Johannes Waldmann 2012-01-30