Zusammenfassung
An einem Anwendungsbeispiel, der Implementierung eines Programmsystems für Arithmetik, wollen wir uns vor Augen führen, inwiefern die Einführung einer weiteren Abstraktionsstufe für Funktionen sinnvoll ist. Die Fragestellung, der wir uns zuwenden wollen, tritt immer dann auf, wenn in einem Programmsystem Objekte verarbeitet werden sollen, die zwar verschiedene Typen haben, jedoch unter einen gemeinsamen Oberbegriff fallen und damit eine Reihe von Ähnlichkeiten aufweisen. So ist die Situation, wenn wir Arithmetik treiben wollen: Wir haben bisher Integer- und Realzahlen kennengelernt und sogar (Kapitel 6) einen neuen Typ, die rationalen Zahlen, hinzugefügt. Damit müssen wir schon vier Arten von arithmetischen Funktionen unterscheiden, und mit jedem neu hinzukommenden Typ von Zahlen — z. B. komplexen Zahlen — wird die Lage unübersichtlicher.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturhinweise
Formelmanipulationssysteme haben sich mit dem Problem der verwandten (mathematischen) Strukturen auseinanderzusetzen. Siehe dazu die Arbeit von Jenks und Troger (1981).
In Moon, Weinreb (1980) ist das Flavorsystem der MIT-LISP-Maschine beschrieben. Di Primio (1983) beschreibt Grundzüge der Implementierung einer vereinfachten Variante für gängige LISP-Systeme.Das System wurde tatsächlich in TLC-LISP implementiert. Eine umfassende Darstellung enthält Christaller und di Primio (1983).
Bobrow, Stefik (1981) beschreiben die Implementation eines an Smalltalk angelehnten Systems LOOPS.
Neben Model (1979) hat auch Sandewall (1978) einen ähnlichen Überblick über die Grundoperationen in LISP-Systemen gegeben.
Vereinfachungs-und Beweisregeln, die den in 10.6 gegebenen Beispielen sehr verwandt sind, wurden in einem Programmverifikationssystem benutzt: Suzuki (1974), Suzuki (1976).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Stoyan, H., Görz, G. (1984). Generische Funktionen und datengesteuerte Programmierung. In: LISP. Studienreihe Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71455-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-71455-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16914-7
Online ISBN: 978-3-642-71455-9
eBook Packages: Springer Book Archive