Rechnen mit Strömen (I)

data Stream a = Cons a (Stream a)

Spezifikation und Verarbeitung durch Gleichungssysteme:

Beispiele:

• o :: Stream Int ; o = Cons 1 o
  

  erz. Fkt. o = 1 + x⋅o , o = 1/(1 - x) , o = $\sum_{{i\in\mathbb{N}}}^{}$1⋅xⁱ

• map :: (a -> b) -> Stream a -> Stream b
  map f (Cons x xs) = Cons (f x) (map f xs)
  
  s = Cons 1 (map (\ c -> c + 1) s)
  

  erzeugende Funktion s = 1 + x⋅(o + s)