Vordefinierte Funktionen zur Verarbeitung von Zeichenketten

Vorbemerkung

Es gibt in Elm eine Vielzahl an vordefinierten Funktionen zur Verarbeitung von Zeichenketten. Auf der Seite Elm - String werden sie alle vorgestellt. Wir betrachten hier nur zwei vordefinierte Funktionen, die besonders häufig vorkommen.

Die Länge einer Zeichenkette bestimmen

Die Länge einer Zeichenkette kann man mit der vordefinierten Funktion String.length bestimmen.

Aufgabe 1

(a) Teste die Funktionen String.length in der REPL mit Dialogen wie dem Folgenden.

> String.length "Hallo!"
6 : Int
> String.length "!"
1 : Int
> String.length ""
0 : Int

(b) Stelle eine Vermutung über die Typangaben zur Funktion String.length auf und überprüfe sie in der REPL.

> String.length
...

Zeichenketten aneinanderhängen

Zeichenketten kann man mit der vordefinierten Funktion String.append zusammenfügen.

Aufgabe 1

(a) Der Dialog zeigt, wie man die Funktion String.append verwendet. Denselben Effekt erzielt man mit dem Operator ++

> String.append "Hallo" "!"
"Hallo!" : String
> "Hallo" ++ "!"
"Hallo!" : String
> (++) "Hallo" "!"
"Hallo!" : String

(b) Stelle eine Vermutung über die Signatur der Funktion String.append auf und überprüfe sie in der REPL.

> String.append
...

(c) Stelle eine Vermutung über die Signatur des ++ Operators auf und überprüfe sie in der REPL. Beschreibe deine Experimente mit Hilfe der Begriffe Präfix-Notation und Infix-Notation. Erinnere dich an deine Erfahrungen zu number, Int und Float sowie dem + Operator.