s n h m r u
i

Iterierte Funktionsanwendung

Die Signatur einer Funktion deuten

Die Signatur der Funktion String.replace kann man sich in der REPL anzeigen lassen.

> String.replace
<function> : String -> String -> String -> String

Bisher haben wir diese Signatur so gedeutet: Die Funktion String.replace erwartet drei Übergabewerte von Typ String und liefert einen Wert vom Typ String zurück. Unklar war, warum die Übergabewerte auch mit dem Symbol -> verknüpft wurden.

Die Signatur der Funktion String.replace könnte man auch so schreiben:

> String.replace
<function> : String -> (String -> (String -> String))

Verdeutlichen lässt sich dies mit folgendem Black-Box-Diagramm.

Black-Box-Diagramm String.replace

Aufgabe 1

Erläutere wie die Signatur mit Klammern und das Black-Box-Diagramm zusammenhängen.

Aufgabe 2

Deute entsprechend die folgenden Signaturen.

> List.append
<function> : List a -> List a -> List a
> List.map
<function> : (a -> b) -> List a -> List b

Suche

v
8.2.2.6.2.1.1
inf-schule.de/deklarativ/fp_elm/elm_programme/funktionenerzeugen/currying/lernstrecke/iterierteanwendung
inf-schule.de/8.2.2.6.2.1.1
inf-schule.de/@/page/3LiaQ4kEN3Ze7wH7

Rückmeldung geben