Fortgeschrittene Techniken funktionaler Programmierung: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
|||
| 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!