Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

Fortgeschrittene Techniken funktionaler Programmierung

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

Fehler in den Lösungen an uns melden

Inhalt

Tipps und nützliche Infos

Literatur

Weblinks

Persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)


Mündliche Prüfung (Oktober 2008)

Thema-wunsch?

CPOs

Was sind CPOs?

-part.Ord und alle aufsteigende Ketten haben ein Supremum

Nicht ganz: Die Suprema müssen auch in der Menge enthalten sein

Welche Möglichkeiten gibt es CPOs zu konstruiren?
-> flache CPO, direktes Produkt

Sind Funktionen auch CPOs? f: A -> B und g: A -> B, ist dann f < g?

-> stetige Funktionen sind CPOs, allgemeine Funktionen müssenn nicht CPOs sein

Weitere Möglichkeiten CPOs zu konstruiren?

->Idealvervolständigung

Beispiel für Idealvervollständigung?

-> unendliche Listen
Warum?

Wofür sind CPOs gut?

-> Fixpunktalgorithmen, .. Fixpunktsatz
Gibt es eine Optimierung für den Fixpunktalgorithmus?
-> Mikroschritte
Wie sind Mikroschritte definiert?
Warum sind Queues böse?
-> weil sie nicht SingleThreadedness garantieren
Was ist SingleThreadedness?
Warum sind Monaden singleThreaded?

Welche Funktionen sind auf den Monaden def.?

Schreiben Sie die Definition von "_&" auf!