Book 2006

Funktionale Programmierung

Sprachdesign und Programmiertechnik

Authors:

ISBN: 978-3-540-20959-1 (Print) 978-3-540-34796-5 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XVII

  2. Elementare Funktionale Programmierung Eine Wiederholung

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-9

      Das Strittigste vorab: Notationen

    3. No Access

      Chapter

      Pages 11-45

      Grundlagen der Funktionalen Programmierung

    4. No Access

      Chapter

      Pages 47-58

      Faulheit währt unendlich

    5. No Access

      Chapter

      Pages 59-70

      Parser als Funktionen höherer Ordnung

  3. Strukturierung von Programmen

    1. Front Matter

      Pages 71-71

    2. No Access

      Chapter

      Pages 73-94

      Gruppen: Die Basis der Modularisierung

    3. No Access

      Chapter

      Pages 95-106

      Operatoren auf Gruppen (Morphismen)

  4. Die Idee der Typisierung

    1. Front Matter

      Pages 107-107

    2. No Access

      Chapter

      Pages 109-130

      Typen

    3. No Access

      Chapter

      Pages 131-143

      Subtypen (Vererbung)

    4. No Access

      Chapter

      Pages 145-156

      Polymorphe und abhängige Typen

    5. No Access

      Chapter

      Pages 157-186

      Spezifikationen und Typklassen: Wie Typen typisiert werden

    6. No Access

      Chapter

      Pages 187-216

      Beispiel: Berechnung von Fixpunkten

    7. No Access

      Chapter

      Pages 217-234

      Beispiel: Monaden

  5. Datenstrukturen

    1. Front Matter

      Pages 235-237

    2. No Access

      Chapter

      Pages 239-253

      Netter stack und böse Queue

    3. No Access

      Chapter

      Pages 255-285

      Compilertechniken für funktionale Datenstrukturen

    4. No Access

      Chapter

      Pages 287-322

      Funktionale Arrays und Numerische Mathematik

    5. No Access

      Chapter

      Pages 323-336

      Map: Wenn Funktionen zu Daten werden

    6. No Access

      Chapter

      Pages 337-356

      Beispiel: Synthese von Programmen

  6. Integration von Paradigmen

    1. Front Matter

      Pages 357-357

    2. No Access

      Chapter

      Pages 359-379

      Zeit und Zustand in der funktionalen Welt

    3. No Access

      Chapter

      Pages 381-393

      Objekte und Ein-/Ausgabe

    4. No Access

      Chapter

      Pages 395-420

      Agenten und Prozesse

previous Page of 2