Fortgeschrittene Techniken funktionaler Programmierung: Unterschied zwischen den Versionen
(→Persönliche Kommentare) |
|||
| Zeile 19: | Zeile 19: | ||
: (Nicht unterschriebene Kommentare werden gelöscht!) | : (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! | ||
[[Kategorie: Lehrveranstaltungen]] | [[Kategorie: Lehrveranstaltungen]] | ||
__NOTOC__ | __NOTOC__ | ||
Version vom 8. November 2008, 13:29 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!
