Funktionale Programmierung

Das Lehrbuch führt konzentriert in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung ein. Es setzt dabei keine Programmierkenntnisse voraus und eignet sich deshalb besonders für Anfänger. Neben den theoretischen Grundlagen behandelt das Buch die praktische Umsetzung der Programmierung, mit deren Hilfe der Leser lernt, auch große Systeme zu entwerfen. Am Beispiel moderner Programmiersprachen werden sowohl elementare als auch weiterführende Aspekte vorgestellt. Im Vordergrund stehen dabei immer konzeptuelle Fragestellungen statt vollständiger Sprachbeschreibungen.

Inhalt
Bevor wir anfangen... Teil I. Elementare funktionale Programmierung: Was die Mathematik uns bietet; Funktionen als Programmiersprache; Modularisierung; Ausdrücke; Rekursion; Ein bisschen syntaktischer Zucker; Drei Beispiele aus der Numerik.- Teil II. Weiterführende Aspekte funktionaler Programmierung: Funktionen höherer Ordnung; Formalismen 1: Zur Semantik von Funktionen; Formalismen 2: Namen und wo sie gelten; Formalismen 3: Aufwand und Terminierung.- Teil III. Datenstrukturen: Konstruktion von Datenstrukturen; Mehr syntaktischer Zucker; Datenstrukturen und Modularisierung; Listen (Sequenzen); Funktionale auf Listen; Beispiel: Numerische Interpolation; Bäume; Formalismen 4: Parametrisierung und Polymorphie; Suchen und Sortieren.- Teil IV. Wo, bitte, geht's zur realen Welt?: Ein-/Ausgabe: Konzeptuelle Sicht; Ein-/Ausgabe: Die Programmierung; Compiler und Interpreter für OPAL, ML, HASKELL, GOFER.- Literaturverzeichnis.- Index.