Implementierung Funktionaler Programmiersprachen - Codegenerierung, Speicherverwaltung Und Testsysteme Fur Sprachen Mit Verzoegerter Auswertung (German, Paperback, 1993 ed.)

2.1 MS -Eine einfache funktionale Sprache Zur Beschreibung der Ubersetzung funktionaler Sprachen wird in diesem Ab schnitt eine einfache Sprache definiert, die als gemeinsamer Kern der meisten modernen funktionalen Sprachen angesehen werden kann. Diese Sprache enthalt keine Listen-oder Mengenabstraktionen und nur sehr eingeschrankte Moglich keiten des Pattern-Matching. Sie ist jedoch machtig genug, um die im folgenden behandelten wesentlichen Probleme der Codegenerierung aufzeigen zu konnen. Wir wollen diese Sprache Mini-SAMPAE oder kurz MS nennen, da sie eine Un termenge der in SAMPAE zulassigen Programme definiert. Die Syntax von MS ist in den Abbildungen 2.1, 2.2 und 2.3 zusammengefasst. Ein MS-Programm besteht aus einem einzigen Modul, das eine Liste von Definitionen und einen Ausdruck enthalt. Der Wert dieses Ausdrucks ist das Ergebnis des Programms bei der Ausfuhrung. In der globalen Definitionsliste konnen Typen und Funktionen definiert werden. Die Typen der definierten Funktionen konnen in MS nicht spezifiziert werden. Typdefinitionen dienen lediglich dazu, neue Datenkonstruktoren zu definieren. Es wird davon ausge gangen, dass eine fruhere Ubersetzungsphase, der Typ checker, das Programm auf Typkorrektheit uberpruft und fur jedes syntaktische Konstrukt einen Typ berechnet hat, der wahrend der Codegenerierungsphase erfragt werden kann."