Funktionale Programmierung: Inhaltsverzeichnis

Funktionale Programmierung
Gebrauchsanweisung
Kapitelübersicht
- Literatur
  - Bücher
  - Artikel und Vorträge
  - WWW-Adressen
- Einleitung
  - Über Haskell
  - Begriffe, Definitionen und grundlegende Konzepte
  - Erste Schritte
- Sprachelemente von Haskell
  - Einfache Datentypen
  - Selbstdefinierte Datentypen
  - Typen und vollständige partielle Ordungen
  - Produkt- und Summen-Datentypen
  - Listen und einfache Listenfunktionen
  - Map, filter und List Comprehension
  - Fold-Funktionen
  - Typsynonyme und isomorphe Typen
  - Halbgruppen und Monoide
    - Beispiele und Tests für Monoide
  - Funktoren
  - Applikative Funktoren
  - Monaden
    - Beispiele und Tests für Monaden
  - Error-, Reader-, Writer- und State-Monade
  - λ-Kalkül und kombinatorische Logik
- Übungen
- Archiv: Alte Unterlagen und Übungen
  - Haskell Charakteristika
  - Übungen bis Sommersemester 2014
    - Grundlegende Konzepte
    - Einfache Listenoperationen
    - Listenoperationen
    - Funktionen als Daten
    - Ausdrucksauswertung mit Monaden
    - Nichtdeterministische Ausdrucksauswertung mit der Listen-Monade
    - Ausdrucksauswertung mit Variablen
    - Ausdrucksauswertung mit Zuweisungen und Schleifen
    - Bilder als Funktionen
  - Alte Übungen
    - Tic Tac Toe
    - Ein- und Ausgabe
      - find grep sed
    - Transformation aussagenlogischer Ausdrücke
    - Ableitung von regulären Ausdrücken
    - Bilder als Listen von Listen
    - Minesweeper
  - HXT und Arrows
    - Funktionen und Kombinatoren
    - Arrows
    - XML DOM-Struktur in HXT
    - XML Arrows
    - Beispiele für XML Verarbeitung mit HXT
      - Kopieren von XML-Dokumenten
      - Formatieren von XML-Dokumenten
      - Parsen von HTML-Dokumenten
      - Testausgabe des XML-Baum
      - Extrahieren aller Textteile
      - Extrahieren des Inhalts einer Seite
      - Extrahieren des Inhalts einer Seite (kürzer)
      - Extrahieren des Inhalts einer Seite mit XPath
      - Textinhalt einer Seite formatieren
      - HTML Seiten erzeugen
      - HTML Seiten erzeugen (2)
    - HXT Quellen
  - Simulation imperativer Programmierung und IO
  - Kombinator-Bibliotheken und DSLs
    - Beispiel: XML mit Haskell
Inhaltsverzeichnis