Fortgeschrittene Techniken funktionaler Programmierung

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

Für diese Veranstaltung noch keine eingesandt.

Fehler in den Lösungen an uns melden

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üssen nicht zwingend CPOs sein
• Weitere Möglichkeiten CPOs zu konstruieren?
  • Idealvervollstä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!