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)
<p>type alias Benutzer =<br />
{ name : String<br />
, id : Int<br />
}</p>
<p>type LoginStatus<br />
= Abgemeldet<br />
| Angemeldet Benutzer<br />

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.