Weiter zum Menü

Universität Paderborn - Home

Universität Paderborn

Die Universität der Informationsgesellschaft

Weiter zum Ende

Funktionale Programmierung SS 2013 - Folienverzeichnis

0. Einleitung `[-]`
Funktionale Programmierung (100)
1. Einführung `[-]`
Functional Programming is Fun (101) Ziele, Material (102) Inhalt (103) Voraussetzungen (104) Gedankenexperiment (105)
2. Lisp: FP Grundlagen `[-]`
LISP: FP Grundlagen (201) Grundfunktionen (202) Listen als Programm und Daten (203) Einige Funktionen über Listen (204) Statische oder dynamische Bindung von Namen (205) Statische oder dynamische Bindung in Common Lisp? (205a) Bindungen und Closures (206)
3. Grundlagen von SML `[-]`
3.1 Ausdrücke und Aufrufe (301) Aufruf-Semantik Call-by-value (strikt) (302) Aufruf-Semantik Call-by-need - lazy evaluation (303) 3.2 Deklarationen in SML, Muster (304) Funktionsdeklarationen (305) Statische Bindung in SML (306) 3.3 Typen, Grundtypen (307) Tupel, Records (308) Parametrisierte Typen (GdP-5.9) (309) Polymorphe Funktionen (GdP-5.9a) (310) Typinferenz (311) Beispiel zur Typinferenz (311a) Beispiel zur Typinferenz (311b)
4. Programmierparadigmen zu Listen `[-]`
Grundlagen (401) Rekursionsmuster Listentyp (402) Akkumulierender Parameter für Funktionen auf Listen (403) Listen aus Listen und Paaren (404) Liste aller Lösungen am Beispiel: Münzwechsel (1) (405) Liste aller Lösungen: Beispiel Münzwechsel (2) (406) Liste aller Lösungen: Beispiel Münzwechsel (3) (407) Matrix-Operationen mit Listen: Transponieren (408) Matrix-Operationen mit Listen: Matrix-Multiplikation (409) Listenrepräsentation für Polynom-Arithmetik (410) Polynom-Arithmetik - Halbierungsverfahren (411)
5. Typkonstruktoren, Module `[-]`
Datentypen mit Konstruktoren (501) Discriminated Union mit Konstruktor-Funktionen (502) Verallgemeinerte Datentypkonstruktion (503) Binäre Bäume (504) Gekapselte Typdefinition (505) Zusammenfassung von Typdefinitionen (506) Ausnahmebehandlung (Exceptions) (507) Beispiel zur Ausnahmebehandlung (508) Module in SML (509) Schnittstellen (510) Generische Module (511) Beispiel im Zusammenhang: Wörterbuch-Funktor (1) (512) Beispiel im Zusammenhang: Wörterbuch-Funktor (2) (513)
6. Funktionen als Daten `[-]`
6. Funktionen als Daten, Übersicht (601) Notation von Lambda-Ausdrücken (602) Currying (603) Currying: Beispiele (603a) Funktionen in Datenstrukturen (604) Currying als Funktional (605) Komposition von Funktionen (606) Kombinatoren (606a) Reihenberechnung als Schema (607) Funktionale für Listen: map (608) Funktionale für Listen: Filter (609) Funktionale für Listen: Quantoren (610) Funktionale verknüpfen Listenwerte (611) Werte in binären Bäumen (612)
7. Datenströme `[-]`
7. Unendliche Listen (lazy lists), Übersicht (701) Beispiele für Stromfunktionen (1) (702) Beispiele für Stromfunktionen (2) (703) Funktionale für Ströme (705) Stromfunktionen im Modul Seq (706) Ströme zusammensetzen (707) Ströme rekursiv zusammensetzen (708) Strom aller Lösungen im Baum-strukturierten Lösungsraum (709) Beispiel Münzwechsel mit Strömen (710) Funktional für Tiefensuche in Lösungsbäumen (711) Funktional für Breitensuche in Lösungsbäumen (712) Funktionale anwenden für Münzwechsel (712a) Funktionale anwenden erzeugung von Palindromen (712b) Weiter verzögerte Auswertung (713)
8. Lazy Evaluation `[-]`
8. Lazy Evaluation (801) Einführung in Notationen von Haskell (802) Lazy-Semantik in Haskell (803) Lazy Listen in Haskell (804) Listen als Ströme verwenden (805) Simulation zyklischer Datenflüsse (806) Beispiel: Hamming-Folge (807)
9. Funktionale Sprachen `[-]`
9. Funktionale Sprachen: Lisp (901) Funktionale Sprachen: FP, ML, SML (902) Funktionale Sprachen: Miranda, Haskell (903) Scala: objektorientierte und funktionale Sprache (903a) Übersetzung und Ausführung: Java und Scala (903b) Benutzung von Listen (903c) Case-Klassen: Typkonstruktoren mit Pattern Matching (903d) Definition polymorpher Typen (903e) Funktionen höherer Ordnung und Lambda-Ausdrücke (903f) Currying (903g) Ströme in Scala (903h) Objektorientierte Mixins (903i) Beispiele für Anwendungen funktionaler Sprachen (904) Verständnisfragen (1) (906) Verständnisfragen (2) (907) Verständnisfragen (3) (908) Verständnisfragen (4) (909)

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 13.01.2014

Weiter zum Anfang