Fortgeschrittene Techniken funktionaler Programmierung: Unterschied zwischen den Versionen
(→Persönliche Kommentare) |
(→Persönliche Kommentare) |
||
| 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!
