Willkommen auf der Heimatseite der Veranstaltung

Abstrakte Systemprogrammierung

• Was? Ein überblick über den Inhalt der Verstaltung;
• Wer? Wo? Wann? Organisatorisches;
• Wiebitte? Kopien der Vorlesungsfolien und Beispielprogrammer;
• WWW?Links zu Dokumentationen und verwandten Seiten.
• Wie war's? Feedback

Konkret bedeutet dies, daß wir uns mit

• der Programmierung grafischer Benutzeroberflächen,
• scripting, Parsing, Matching und Pretty-Printing,
• nebenläufiger Programmierung,
• Web-Programmierung (CGI-Skripte)

Die Veranstaltung richtet sich an drei Interessentenkreise:

1. Studenten, die Haskell in ihren ersten Semestern kennen und schätzen gelernt haben, sich aber nicht vorstellen konnten, es auch für etwas aus dem ``richtigen Leben'' (wie oben) benutzen zu können;
2. Studenten, die Tcl, Perl, bash-Skripte und ähnliches kennen und nicht schätzen gelernt haben, und die nach weniger kryptischen, abstrakteren Sprachen für diese Zwecke suchen;
3. Studenten, die weder das eine noch das andere kennen, aber einen überblick über die o.a. Konzepte erhalten möchten.

Die Veranstaltung besteht aus Vorlesungen und Übungen. Die Vorlesung findet

Dienstags um 10:00 im MZH 7250

Für den Leistungsnachweis gibt es 5 Übungsblätter, in denen in loser Folge ein kleines Projekt erarbeitet wird. Hierbei soll es sich um ein Tool handeln, welches die Verwaltung einer Bibliographie (Literarurliste) erlaubt (mit einer netten graphischen Benutzeroberfläche natürlich), sowie deren Darstellung auf dem Netz. Wie immer behalten wir uns zur Überprüfung der individuellen Leistung Fachgespräche vor.

Für den übungsbetrieb benutzen wir übrigens den Haskell-Compiler ghc, nicht den vielleicht noch bekannten Interpreter hugs.

Übungsblätter und Vorlesungsfolien

• 26.10.1999: dvi, PS
  Dazu die Beispielprogramme echo.hs, cntwords.hs.
• 02.11.1999: dvi, PS
  Dazu die Beispielprogramme count.hs, cleanup.hs, myio.hs.
• 09.11.1999: dvi, PS
  Dazu die Beispielprogramme SimpleParser.hs, SExpr.hs, Expr.hs.
• 16.11.1999: dvi, PS
  Dazu die Beispielprogramme happy-simple-lisp.y, happy-lisp.y, happy-expr.y, happy-mon-expr.y, happy-conflict.y.
• 23.11.1999: dvi, PS
  Dazu die Beispielprogramme simple.java, simple.hs und p.java.
• 30.11.1999: dvi, PS
  Dazu die Beispielprogramme philo_sem.hs, philo_sync.hs, philo_ev.hs und das passende Makefile als ein Tar-File philo.tar.
• 07.12.1999: dvi, PS
  Dazu die Beispielprogramme waffle.hs und Hello1.hs mit Hello2.hs und einem Makefile als ein Tar-File hello.tar.
• 14.12.1999: dvi, PS
  Dazu die Beispielprogramme ListEx.hs, MenuEx.hs and MenuEx.hs in examples.tar.
• 20.12.1999: dvi, PS
  Dazu die Beispielprogramme CanvasEx.hs, XmasCanvas.hs, Blobs.hs und TextWidEx.hs in more_examples.tar.
• 11.01.2000: dvi, PS
  
• 18.01.2000: dvi, PS
  Dazu das CGI-Paket (tar-File oder nur als Haskell-Quelle), das Beispielformular SimpleForm, das Formular TestForm und das Auswertungsskript evalasp.cgi.
  
• 25.01.2000: dvi, PS
  
• 01.02.2000: dvi, PS
  Dazu Beispiele zu existentielle Typen, und das kurze Beispiel für das exponentielle Verhalten der exponentielle der Haskell Typinferenz.
• 08.02.2000: dvi, PS
  
• Technischer Anhang: dvi, PS

Ferner hier die Übungsblätter:

• Übungsblatt 1 vom 02.11.1999
• Übungsblatt 2 vom 16.11.1999
• Übungsblatt 3 vom 07.12.1999
• Übungsblatt 4 vom 21.12.1999
• Übungsblatt 5 vom 25.01.2000
  Dazu hier ein kleines und ein großes Beispiel-BibTeX-File.
• Übungsblatt 6 vom 08.02.2000

Feedback

Haskell-Dokumentation

• A Gentle Introduction to Haskell.
• Haskell 98 report, auch als Postscript und PDF.
• Haskell 98 library report, auch als Postscript und PDF.
• The Glasgow Haskell Compiler User's Guide, auch als Postscript
• The Haskell Parser Generator Happy, auch als Postscript.
• Index der lokalen Haskell98-Dokumentation.
• UniForM Dokumentationen:
  • Concurrency Toolkit Reference Manual: PS, HTML
  • HTk Reference Manual: PS, HTML,
  • Subsystem Interaction Manager Manual: PS, HTML.
• Zu CGI-Skripting in Haskell:
  • Das Papier Server Side Web Scripting in Haskell von Erik Meijer
  • MIME Spezifikation (RFC 1521), die HTTP 1.1 Spezifikation (RFC 2616), und die HTML 4.1 Spezifikation.
• Papier zu H/Direct und COM, in abnehmender Aktualität:
  • Calling Hell from Heaven, and Heaven from Hell (Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones)
  • Scripting COM Objects in Haskell (Simon Peyton Jones, Erik Meijer, Daan Leijen)
  • H/Direct: A Binary Foreign Language Interface for Haskell (Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones)
  Ferner H/Direct Dokumentation und das User Manual. Letzteres enthält auch mehr Informationen und Links zu IDL.
• Informationen über den lokalen CVS-Server.
• Ausserdem noch die externe, offizielle Haskell home page

Links über Systemprogrammierung:

• Grafische Benutzeroberflächen mit fudgets. Nette Online-Demos!
• Robotersteuerung und grafische Animationen in Haskell.
• Für die funktionale Sprache ML gibt es das Projekt Express: ein Betriebssystem in ML, und das Projekt Fox: TCP/IP Software und ein ganzer Webserver in ML.