15.5 Zusammenstecken

splice m f g (xs++[c]) = f (take m xs ++ [u]) ++ us

where (u:us) = g (drop m xs ++ [c])

Begradigt:

Es gilt ein Assoziativgesetz:

splice (m+k) (splice m f g) h = splice m f (splice k g h)

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen