Funktionale und regelgestützte Programmierung

Funktionale und regelgestützte Programmierung
Frühjahrstrimester 2000


Dr. Wolfram Kahl



Vorlesungsabriß

  1. Einführung
  2. Einfach typisierter Lambda-Kalkül
  3. Termersetzung, Auswertungsstrategien, Pattern-Matching
  4. Listen
  5. Algebraische Programmentwicklung - Textverarbeitung
  6. Datentypen
  7. Syntaxanalyse
  8. Pretty-Printing
  9. Typklassen
  10. Konstruktorklassen
  11. Monaden und I/O
  12. ...

Aufgaben

Dokumente, Software und weitere Links: Zentralseite der Vorlesung Funktionale Programmierung


Wolfram Kahl