Sinopsis
Seit Stracheys Arbeit in den 1960er Jahren wurde Polymorphismus in parametrische und überladende Sorten eingeteilt. Parametrischer Polymorphismus ist seit über zwei Jahrzehnten Gegenstand umfangreicher Studien. Überlastung hingegen wurde oft als zu ad hoc angesehen, um viel Aufmerksamkeit zu verdienen, obwohl es in irgendeiner Form ein Bestandteil praktisch jeder Programmier-LAN-Lehre war (viel mehr als parametrischer Polymorphismus). Mit der Einführung objektorientierter Sprachen und insbesondere mit objektorientierten Sprachen mit mehreren Versandarten ist das Überladen weniger zu einem Programmierkomfort und eher zu einem grundlegenden Merkmal geworden, das einer angemessenen Erklärung bedarf. Dieses Buch bietet einen überzeugenden Rahmen für die Untersuchung der Laufzeit über Laden und seiner Interaktionen mit Subtypisierung und parametrischem Polymorphismus. Das Buch beschreibt auch Anwendungen zur objektorientierten Programmierung. Dieses neue Framework wird durch die relativ jüngste Verbreitung von Programmiersprachen motiviert, die ausschließlich auf Laufzeitüberlastung basieren; diese Tatsache erklärt wahrscheinlich, warum dieses Thema nicht früher untersucht wurde. Einmal richtig verstanden, offenbart sich Überladung auch relevant für die Untersuchung älterer und konventioneller (Single Dispatch) objektorientierter Sprachen, klärt heikle Fragen der Kovarianz und Kontravarianz von Methodentypen und der Laufzeit-Typanalyse. In den letzten Kapiteln wird eine Synthese zwischen parametrischem und überladendem Polymorphismus gemacht."
"Sinopsis" puede pertenecer a otra edición de este libro.
