Ralf Hinze Book order (chronological)

Das vorliegende Buch entstand aus Begleitmaterialien zu einem Programmierkurs, der im Sommersemester 1991 an der Universität Bonn stattfand. Es behandelt grundlegende und weiterführende Konzepte der funktionalen Programmierung sowie der Programmiersprache Miranda. Miranda ist eine rein funktionale Sprache und bietet aus mehreren Gründen eine interessante Alternative zu herkömmlichen imperativen Sprachen und hybriden Sprachen wie LISP oder Scheme. Erstens sind funktionale Programme kürzer, leichter verständlich und weisen einen höheren Abstraktionsgrad auf als entsprechende imperative Programme. Zweitens sind sie mathematisch einfacher zu behandeln. Drittens erleichtern die vorteilhaften mathematischen Eigenschaften (Funktionen im mathematischen Sinne) die Implementierung auf parallelen Rechnerarchitekturen, was vielversprechende Perspektiven für die Zukunft eröffnet. Miranda verkörpert die Vorzüge funktionaler Sprachen besonders gut: Die Syntax ist prägnant und frei von syntaktischem Ballast. Funktionen und Typen werden durch (rekursive) Gleichungen definiert, und Muster auf der linken Seite von Funktionsdefinitionen erhöhen die Lesbarkeit der Definitionen.