Informatik 1 - Mitschriften von Klaas Ole Kürtz

Anwendung
add, sub, mul, div
generisches Arithmetikpaket
+rat, -rat +c, -c +zahl, -zahl
*rat, /rat *c, /c *zahl, /zahl
rationale Zahlen komplexe Zahlen reelle Zahlen
polar rechteck
Listenstruktur, primitive Funktionen
Vorgehensweise in mehreren Stufen:
3.4.1 Anfügen einer Typetikette
ähnlich wie bei Mehrfachdarstellungen (’rat, ’komplex, ’zahl)
(define (konstr-zahl x) (typ-anbinden ’zahl x))
(define (konstr-komplex z) (typ-anbinden ’komplex z))
(define (+zahl x y) (konstr-zahl (+ x y)))
(define (-zahl x y) (konstr-zahl (- x y)))
(define (*zahl x y) (konstr-zahl (* x y)))
(define (/zahl x y) (konstr-zahl (/ x y)))
(define (+komplex z1 z2) (konstr-komplex (+c z1 z2)))
(define (-komplex z1 z2) (konstr-komplex (-c z1 z2)))
(define (*komplex z1 z2) (konstr-komplex (*c z1 z2)))
(define (/komplex z1 z2) (konstr-komplex (/c z1 z2)))
3.4.2 Verbindung der Arithmetikoperationen mit Zahloperatoren
(put ’zahl ’add +zahl )
(put ’zahl ’sub -zahl )
(put ’zahl ’mul *zahl )
(put ’zahl ’div /zahl )
(put ’komplex ’add +komplex)
(put ’komplex ’sub -komplex)
(put ’komplex ’mul *komplex)
(put ’komplex ’div /komplex)
3.4.3 Definition der generischen Operatoren
(define (add x y) (op-ausfuehren-2 ’add x y))
(define (op-ausfuehren-2 op arg1 arg2)
(let ((t1 (typ arg1)))
36