i

Aktualisierung von Datensätzen

Attributwerte setzen

Die Emailadresse soll ebenfalls im Record gespeichert werden. Dabei sind auch private Mailadressen möglich.

type alias Person =
    { vorname : String
    , nachname : String
    , geburtsjahr : Int
    , email : String
    }

person1: Person
person1 =
    { vorname = "Anuk"
    , nachname = "Franck"
    , geburtsjahr = 2015
    , email = "anuk@franck.de"
    }

mailadresse: Person -> String
mailadresse datensatz =
    let
        { vorname, nachname } = datensatz
    in
    vorname ++ "." ++ nachname ++ "@meine-schule.de"
Elm

Eine eventuell vorhandene private Mailadresse soll nun durch die Schulmailadresse ersetzt werden. Der folgende Dialog in der REPL zeigt, wie man Attributwerte gezielt setzen kann.

> { person1 | email = "test@meine-schule.de" }
...
> { person1 | email = mailadresse person1 }
...
Elm

Aufgabe 1

Stelle Vermutungen auf welche Wirkung die Ausdrücke haben. Überprüfe die Vermutungen in der REPL und erkläre die Ausdrücke zur Verarbeitung eines Records.

Aufgabe 2

Die Bearbeitung eines Records liefert einen neuen Record ohne den ursprünglichen Record zu verändern. Belege diese Aussage durch Experimente in der REPL.

Suche

8.2.2.7.1.1.7Aktualisierung von Datensätzen
Kopieren durch Anklicken

Rückmeldung geben