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!