Übung Stream-Operationen

• die Funktion reverse :: [a] -> [a] als foldl

• die Funktion fromBits :: [Bool] -> Integer, Beispiel fromBits [True,False,False,True,False]=18

  ...als foldr oder als foldl ?

• die Regel vervollständigen und ausprobieren:

  foldl f a (map g xs) = foldl ? ?
  

  das map verschwindet dabei ⇒ stream fusion (Coutts, Leshchinsky, Stewart, 2007) http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7401
• die Regel ergänzen (autotool)

  foldr f a xs = foldl ? ? (reverse xs)
  

• map durch >>= implementieren (entspr. Select durch SelectMany)
• filter durch foldr implementieren (autotool)