Informatik 1 - Mitschriften von Klaas Ole Kürtz

(define (abheben betrag)
(if (>= kontostand betrag)
(begin (set! kontostand (- kontostand betrag))
kontostand)
"Deckung nicht ausreichend!"))
(define (einzahlen betrag)
(set! kontostand (+ kontostand betrag))
kontostand)
(define (zuteilen m)
(cond ((eq? m ’abheben) abheben)
((eq? m ’einzahlen) einzahlen)
(else (error "Falsche Nachricht!"))))
zuteilen)
>(define konto (kontstr-konto 100))
>((kto ’abheben) 70)
30
Probleme der Zuweisung: Substitutionsmodell:
• ersetze Variablen durch ihre Werte
• ersetze Kombinationen durch ausgerechneten Wert
Beispiel:
• Nach Aufruf von (define kontostand 130) steht kontostand für den
Wert 130.
⇒ Vorkommen von kontostand ersetzen durch 130.
⇒ (+ e kontostand) und (+ e 130) liefern gleiche Werte
! Jedoch: (+ (abheben 110) kontostand) liefert (+ 20 20)...
• Somit: bei Benutzung von set!:
Variablen sind nicht Namen für Objekte oder Werte,
sondern Namen für Orte, wo Werte gespeichert werden!
⇒ komplexeres Auswertungsmodell
⇒ Auswertungsreihenfolge relevant:
(+ (abheben 110) kontostand)
44