Fortgeschrittene Techniken funktionaler Programmierung: Unterschied zwischen den Versionen
| Zeile 24: | Zeile 24: | ||
-Thema-wunsch? | -Thema-wunsch? | ||
->CPOs | ->CPOs | ||
Was sind CPOs? | |||
-part.Ord und alle aufsteigende Ketten haben ein Supremum | -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 | -> 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 | -> stetige Funktionen sind CPOs, allgemeine Funktionen müssenn nicht CPOs sein | ||
Weitere Möglichkeiten CPOs zu konstruiren? | |||
->Idealvervolständigung | ->Idealvervolständigung | ||
Beispiel für Idealvervollständigung? | |||
-> unendliche Listen | -> unendliche Listen | ||
Warum? | |||
Wofür sind CPOs gut? | |||
-> Fixpunktalgorithmen, .. Fixpunktsatz | -> Fixpunktalgorithmen, .. Fixpunktsatz | ||
Gibt es eine Optimierung für den Fixpunktalgorithmus? | |||
-> Mikroschritte | -> Mikroschritte | ||
Wie sind Mikroschritte definiert? | |||
Warum sind Queues böse? | |||
-> weil sie nicht SingleThreadedness garantieren | -> 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! | |||
[[Kategorie: Lehrveranstaltungen]] | [[Kategorie: Lehrveranstaltungen]] | ||
__NOTOC__ | __NOTOC__ | ||
Version vom 8. November 2008, 13:30 Uhr
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!