Definition eines neuen Datentyps

Eine Typdeklaration verwenden

Der einfachste Weg aus der im letzten Abschnitt beschriebenen Problematik besteht darin, selbst einen neuen Datentyp für den Status einzuführen.

Die folgenden Abschnitte passen noch nicht zum Beispiel bzw. sind noch nicht fertig...

Typdefinition ohne Benutzername

type LoginStatus
    = Abgemeldet
    | Angemeldet

In der REPL lässt dies direkt verwenden:

> Abgemeldet
Abgemeldet : LoginStatus
> Angemeldet
Angemeldet : LoginStatus

Aufgabe

Erkläre die Ausgabe in der REPL.

Typdefinition mit Benutzername

type LoginStatus
    = Abgemeldet
    | Angemeldet String

module Interpreter exposing (..)

type Befehl 
    = LI                    -- links
    | RE                    -- rechts
    | VW Int                -- vorwärts ...

> import Interpreter exposing (..)

> LI
LI : Befehl
> VW 2
VW 2 : Befehl
> [VW 2, RE, VW 4, LI, VW 2]
[VW 2,RE,VW 4,LI,VW 2]
    : List Befehl

Mit type Befehl wird der neue Datentyp Befehl definiert.

Die Datenwerte des neuen Datentyps Befehl werden in der Typdeklaration genau angegeben. Es sind die Datenwerte LI und RE für die Drehungen sowie VW ... (wobei hier für die drei Punkte eine Int-Zahl eingesetzt werden muss) für die Vorwärtsbewegung.

Mit diesen Datenwerten vom Typ Befehl kann man jetzt eine Liste mit Daten des Typs Befehl erstellen. Die Welt ist damit für Elm wieder in Ordnung.

Aufgabe 1

Teste die oben gezeigte Typdeklaration mit einer selbst vorgegebenen Befehlsliste.

Aufgabe 2

Der folgende Quelltext enthält weitere Typdeklarationen. Analysiere den Quelltext und erläutere alle Detail. Teste selbst.

module Interpreter exposing (..)

type Befehl 
    = LI                    -- links
    | RE                    -- rechts
    | VW Int                -- vorwärts ...

type alias Programm = List Befehl

programm1: Programm
programm1 = [VW 2, RE, VW 4, LI, VW 2]

type Richtung
    = N     -- Norden
    | O     -- Osten
    | S     -- Süden
    | W     -- Westen

type alias Akteur = (Int, Int, Richtung) 

akteur: Akteur
akteur = (0,0,N)

> import Interpreter exposing (..)
> akteur
(0,0,N) : Akteur
> programm1
[VW 2,RE,VW 4,LI,VW 2]
    : Programm