Partielle Funktionsanwendung

Eine vorgegebene Funktion betrachten

Wir betrachten hier die vordefinierte Funktion String.replace, mit der man in einer Zeichenkette Zeichenkombinationen durch andere ersetzen kann.

> String.replace
<function> : String -> String -> String -> String
> String.replace "a" "u" "Hand"
"Hund" : String
> String.replace "Fin" "Ti" "Finger"
"Tiger" : String

Aufgabe 1

Teste zunächst die Funktion String.replace mit verschiedenen Funktionsaufrufen. Beschreibe das Verhalten der Funktion mit Hilfe des Black-Box-Diagramms.

Nur einen Übergabewert verwenden

Die Funktion String.replace wird mit nur einem Übergabewert aufgerufen. Es entsteht eine neue Funktion.

> String.replace "a"         
<function> : String -> String -> String
> (String.replace "a") "u" "Hand"
"Hund" : String
> (String.replace "a") "e" "hallo"
"hello" : String
> ersetze_a = String.replace "a"
<function> : String -> String -> String
> ersetze_a "u" "Hand"
"Hund" : String

Aufgabe 2

Erkläre in Worten, was die neu erzeugte Funktion String.replace "a" leistet. Benutze das folgende Black-Box-Diagramm.

Zwei Übergabewerte verwenden

Die Funktion String.replace wird jetzt mit zwei Übergabewerten aufgerufen. Es entsteht wiederum eine neue Funktion.

> String.replace "a" "u"
<function> : String -> String
> (String.replace "a" "u") "Hand"     
"Hund" : String
> (String.replace "a" "u") "Rahm"     
"Ruhm" : String
> ersetze_a_u = String.replace "a" "u"
<function> : String -> String
> ersetze_a_u "Hand"
"Hund" : String

Aufgabe 3

Erkläre in Worten, was die neu erzeugte Funktion String.replace "a" "u" leistet. Benutze das folgende Black-Box-Diagramm.