Fortgeschrittene Techniken funktionaler Programmierung

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!