Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

Fortgeschrittene Techniken funktionaler Programmierung: Unterschied zwischen den Versionen

(Persönliche Kommentare)
(Persönliche Kommentare)
Zeile 23: Zeile 23:
  
 
-Thema-wunsch?
 
-Thema-wunsch?
  ->CPOs
+
  CPOs
 
Was sind CPOs?
 
Was sind CPOs?
 
  -part.Ord und alle aufsteigende Ketten haben ein Supremum
 
  -part.Ord und alle aufsteigende Ketten haben ein Supremum

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!