Funktionale Programmierung

in OPAL, ML, HASKELL und GOFER

Peter Pepper (Autor)

Buch | Softcover

XIV, 300 Seiten

2002 | 2., überarb. Aufl. 2003
Springer Berlin (Verlag)
978-3-540-43621-8 (ISBN)

Artikel merken

Grundlegende Einführung, auch für Anfänger ohne Vorkenntnisse. Kompakt, übersichtlich, leicht verständlich, sowie mit ausführlichen Beispielen in den modernen Programmiersprachen Opal, ML, Haskell und Gofer

Dieses Lehrbuch gibt eine kompakte Einführung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesondere für Anfänger, aber auch für alle, die mit der imperativen Programmierung vertraut sind und sich in die Thematik einarbeiten möchten. Mathematisch fundiert werden die theoretischen Grundlagen der Programmierung und ihre praktische Umsetzung behandelt. Das Ziel dabei ist, auch große Systeme entwerfen und handhaben zu können. Am Beispiel der modernen Programmiersprachen OPAL, ML, HASKELL und GOFER werden sowohl elementare als auch weiterführende Aspekte vorgestellt. Im Vordergrund stehen dabei immer konzeptuelle Fragestellungen, und nicht vollständige Sprachbeschreibungen.

0. Bevor wir anfangen.- 0. Bevor wir anfangen.- I. Elementare funktionale Programmierung.- 1. Was die Mathematik uns bietet.- 2. Funktionen als Programmiersprache.- 3. Modularisierung.- 4. Ausdrücke.- 5. Rekursion.- 6. Ein bisschen syntaktischer Zucker.- 7. Drei Beispiele aus der N umerik.- II. Weiterführende Aspekte funktionaler Programmierung.- 8. Funktionen höherer Ordnung.- 9. Formalismen 1: Zur Semantik von Funktionen.- 10. Formalismen 2: Namen und wo sie gelten.- 11. Formalismen 3: Aufwand und Terminierung.- III. Datenstrukturen.- 12. Konstruktion von Datenstrukturen.- 13. Mehr syntaktischer Zucker.- 14. Datenstrukturen und Modularisierung.- 15. Listen (Sequenzen).- 16. Funktionale auf Listen.- 17. Beispiel: Numerische Interpolation.- Bäurne.- 19. Formalismen 4: Parametrisierung und Polymorphie.- 20. Suchen und Sortieren.- IV. Wo, bitte, geht's zur realen Welt?.- 21. Ein-/Ausgabe: Konzeptuelle Sicht.- 22. Ein-/Ausgabe: Die Programmierung.- 23. Compiler und Interpreter für OPAL, ML, HASKELL, GOFER.

Erscheint lt. Verlag	12.9.2002
Reihe/Serie	Springer-Lehrbuch
Zusatzinfo	XIV, 300 S. 49 Abb.
Verlagsort	Berlin
Sprache	deutsch
Maße	155 x 235 mm
Gewicht	490 g
Themenwelt	Mathematik / Informatik ► Informatik ► Datenbanken
	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Applikative Programmierung • Compiler • data structures • Datenstruktur • Datenstrukturen • Funktionale Programmierung • Gofer • Haskell • Interpreter • ML • Opal • Parametrisierung • Programmiersprache • Programmiersprachen • Programmierung • Rekursion • Semantik • Suche
ISBN-10	3-540-43621-9 / 3540436219
ISBN-13	978-3-540-43621-8 / 9783540436218
Zustand	Neuware