Experimente in der REPL

Typdefinitionen genauer verstehen

Wir gehen noch einmal von folgenden Typdefinitionen aus, um den Umgang mit eigenen Typen noch genauer zu verstehen:

type MeinTyp
    = ErsterFall
    | ZweiterFall Int
    | DritterFall String Int
    | VierterFall { name : String, alter : Int }
    | FuenfterFall (List Int)

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

type LoginStatus
    = Abgemeldet
    | Angemeldet Benutzer

Mit diesen Datentypen lässt sich dann in der REPL experimentieren:

> ErsterFall
...
> ZweiterFall 5
...
> ZweiterFall
...
> DritterFall "Hallo" 5
...
> DritterFall
...
> VierterFall
...
> FuenfterFall
...
> Benutzer "Karl" 4711
...
> Benutzer
...
> Abgemeldet
...
> Angemeldet (Benutzer "Karl" 4711)
...
> Angemeldet {name = "Karl", id = 4711}
...
> Angemeldet
...

Aufgabe 1

Stelle Vermutungen an, was passiert, wenn du die obigen Ausdrücke in der REPL eingibst. Überprüfe in der REPL, ob deine Vermutungen korrekt sind.