Functional Programming Languages and Computer Architecture: 5th Acm Conference Cambridge, Ma, Usa, August 26-30, 1991 : Proceedings (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
Dieses Buch bietet einen umfassenden Überblick über die besten und neuesten Arbeiten in der funktionalen Programmierung. Es ist das Verfahren einer großen internationalen Konferenz und enthält 30 Papiere, die aus 126 eingereichten Papieren ausgewählt wurden. Eine Reihe von Themen entstehen. Eines ist ein wachsendes Interesse an Typen: leistungsstarke Typsysteme oder Typprüfer, die Überlastung, Zwang, dynamische Typen und inkrementelle Inferenz unterstützen; lineare Typen zur Optimierung der Speicherung und polymorphe Typen zur Optimierung der semantischen Analyse. Das heiße Thema der Teilauswertung ist gut vertreten: Techniken für die Bindungszeitanalyse höherer Ordnung, die Beendigung der Teilauswertung sicherstellen und die Restprogramme verbessern, die ein Teilbewerter generiert. Das heikle Problem der Manipulation des Zustands in funktionalen Sprachen wird angesprochen: Ein Papier argumentiert sogar, dass parallele Programme mit Nebenwirkungen "deklarativer" sein können als rein funktionale. Theoretische Arbeiten umfassen ein neues Typenmodell, das auf Projektionen, Parametrizität, einer Verbindung zwischen Strenge Analyse und Logik sowie einer Diskussion über effiziente Umsetzungen des Lambda-Kalkulus basiert. Auch der Zusammenhang mit Computerarchitektur und einer Vielzahl weiterer Themen wird angesprochen.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
