Funktionale Programmierung
in OPAL, ML, HASKELL und GOFER
2nd Edition
Published on 12. September 2002
Book
Paperback/Softback
XIV, 300 pages
978-3-540-43621-8 (ISBN)
Description
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.
More details
Series
Edition
2. Auflage 2003
Language
German
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Upper undergraduate
Edition type
New edition
Illustrations
49 s/w Abbildungen
XIV, 300 S. 49 Abb.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 18 mm
Weight
482 gr
ISBN-13
978-3-540-43621-8 (9783540436218)
DOI
10.1007/978-3-642-55818-4
Schweitzer Classification
Other editions
Additional editions
E-Book
03/2013
2nd Edition
Springer
€20.67
Available for download
Previous edition
Book
11/1998
1st Edition
Springer
€49.95
No shipping information available
Content
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.