Durchlesendieses klassische PapierIch bin auf Paramorphismen stecken. Leider ist der Abschnitt ziemlich dünn und die Wikipedia-Seite sagt nichts.

Meine Haskell-Übersetzung lautet:

para :: (a -> [a] -> b -> b) -> b -> [a] -> b
para f base = h
  where
    h []       =   base
    h (x:xs)   =   f x xs (h xs)

Aber das kann ich nicht fassen - ich habe keine Ahnung von der Typensignatur oder dem gewünschten Ergebnis.

Was ist ein Paramorphismus und was sind einige nützliche Beispiele in Aktion?

Ja habe ich gesehendiese Fragen, aber sie decken Paramorphismen nicht direkt ab und zeigen nur aufRessourcen das mag als referenz hilfreich sein, aber nicht als lernmaterial.