Funktionale Programmierung: In Opal, ML, Haskell Und Gofer

ISBN-13: 9783540645412 / Niemiecki / Miękka / 1998 / 296 str.

Peter Pepper

Opis

Dieses Lehrbuch gibt eine kompakte Einfuhrung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesondere fur Anfanger, aber auch fur alle, die mit der imperativen Programmierung vertraut sind und sich in die Thematik einarbeiten mochten. Mathematisch fundiert werden die theoretischen Grundlagen der Programmierung und ihre praktische Umsetzung behandelt. Das Ziel dabei ist, auch grosse Systeme entwerfen und handhaben zu konnen. Am Beispiel der modernen Programmiersprachen OPAL, ML, HASKELL und GOFER werden sowohl elementare als auch weiterfuhrende Aspekte vorgestellt. Im Vordergrund stehen dabei immer konzeptuelle Fragestellungen, und nicht vollstandige Sprachbeschreibungen."

Spis treści

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.