Definition eines neuen Datentyps

Eine Typdeklaration verwenden

Ein Weg aus der auf der vorherigen Seite beschriebenen Problematik besteht darin, selbst einen neuen Datentyp für den Status einzuführen.

Typdefinition ohne Benutzername

Zuerst definieren wir den Datentyp LoginStatus ohne Berücksichtigung des Benutzernamens.

type LoginStatus
    = Abgemeldet
    | Angemeldet

Die beiden Werte Abgemeldet und Angemeldet sind die einzigen Werte, die Elemente vom Datentyp LoginStatus annehmen können. Man nennt diese Werte auch Varianten des Datentyps. In der REPL können wir die Varianten testen:

> Abgemeldet
...
> Angemeldet
...
> status = Abgemeldet
...

Aufgabe 1

Teste und erkläre die Ausgabe in der REPL.

Aufgabe 2

Vergleiche mit dem Datentyp Bool. Wie könnte man diesen definieren? Recherchiere wie er in Elm definiert ist.

Aufgabe 3

Nutze den neu definierten Datentyp LoginStatus, um die Funktion begruessen neu zu implementieren. Schreibe eine Version mit einem if-Ausdruck und eine Version mit einem case-Ausdruck und bewerte die Alternativen.

Typdefinition mit Benutzername

Wir wollen nun zusätzlich auch Angaben zum Benutzer speichern. Dies macht natürlich nur Sinn, wenn ein Benutzer angemeldet ist. Hier findest du einige Vorschläge für Definitionen des Datentyps LoginStatus.

type LoginStatus
    = Abgemeldet
    | Angemeldet String

type alias Benutzer =
    { name : String
    , id : Int
    }

type LoginStatus
    = Abgemeldet
    | Angemeldet Benutzer

type LoginStatus
    = Abgemeldet
    | Angemeldet String Int

type LoginStatus
    = Abgemeldet
    | Angemeldet (String, Int)

Aufgabe 4

(a) Analysiere die Beispiele und ergänze den Lückentext. Todo: Lückentext
Die Varianten des Datentyps LoginStatus können auch zusätzliche Informationen enthalten. Man spricht auch vom Payload (engl.: Ladung, Nutzlast) des Datentyps. ...

(b) Teste die Varianten des Datentyps LoginStatus in der REPL und entscheide dich begründet für eine Variante, die du für die weitere Implementierung verwenden möchtest.