Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Institut fur Informatik SS 2009 der Universitat Munchen
 

Summary: Institut fur Informatik SS 2009
der Universitat Munchen
Dr. Andreas Abel
Dr. Hans-Wolfgang Loidl
Ubungen zur Vorlesung
Funktionale Programmierung
Blatt 7
Aufgabe H-10:
a) Implementieren Sie in Haskell eine Funktion unzip : [(a, b)] ([a], [b]).
b) Mit Hilfe der universellen Eigenschaft von fold de nieren Sie unzip neu.
Aufgabe H-11:
Gegeben der Datentyp von binaren Baumen wie in der Vorlesung und die Funk-
tion fold:
data BinTree a = Leaf a | Node (BinTree a)(BinTree a)
fold :: (a -> b) -> (b -> b -> b) -> BinTree a -> b
fold f comb (Leaf l) = f l
fold f comb (Node l r) = (fold f comb l) `comb` (fold f comb r)
a) Schreiben Sie die universelle Eigenschaft von fold.
b) De nieren Sie die Funktion map : (a b) (BinTree a BinTree b)
mit Hilfe der universellen Eigenschaft von fold.

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences