Informatik 1 - Mitschriften von Klaas Ole Kürtz

(if (eq? t1 t2)
(let ((proz (get t1 op)))
(if (not (null? proz))
(proz (inhalt a1)
(inhalt a2))
(error "Operator n. definiert")))
(let ((t1->t2 (get-typanpassung t1 t2)))
((t2->t1 (get-typanpassung t2 t1)))
(cond ((not (null? t1->t2))
(op-ausfuehren-2 op
(t1->t2 a1)
a2))
((not (null? t2->t1))
(op-ausfuehren-2 op
a1
(t2->t1 a2)))
(else (error "keine Konvertierung
möglich")))))))
3.4.5 Typanpassung
Umwandlung von Daten unterschiedlichen Typs (op-ausfuehren-2
Typanpassung)
mit
• Vorteil: bei n Typen nur noch n Versionen jedes generischen Operators
(statt n 2 ); allerdings bis zu n 2 Typanpassungen (besser: transistive
Umwandlungen)
• häufig: Objekte von Typen mit t 1 und t 2 , aber weder t 1 → t 2 noch
t 2 → t 1 möglich, aber eventuell existiert ein gemeinsamer Typ t 3 mit
t 1 → t 3 und t 2 → t 3 .
• Daher: Betrachtung von Typhierachien, t 1 ist Untertyp von t 2 :
– Jedes t 1 -Objekt ist auch t 2 -Objekt
– Jede auf t 1 -Objekte anwendbare Operation ist auch auf t 1 -Objekte
anwendbar
– t 1 -Konzept ist Spezialfall von t 2 -Konzept
• Beispiel Zahlen: N ⊆ N 0 ⊆ Z ⊆ Q ⊆ R ⊆ C; d.h. Turmstruktur, für
Typanpassung sind nur noch drei Prozeduren t n → t n+1 ; Typanpassung
ganzzahlig → komplex: drei Schritte (ganzzahlig zu rational zu reell zu
komplex).
38