Praktische Informatik 3 (WS 2010/11) - informatik.uni

Praktische Informatik 3: Einführung in die Funktionale
Programmierung
Vorlesung vom 09.02.11: Schlußbemerkungen
Christoph Lüth & Dennis Walter
Universität Bremen
Wintersemester 2010/11
Rev. 1371
1 [24]
Fahrplan
I
Teil I: Funktionale Programmierung im Kleinen
I
Teil II: Funktionale Programmierung im Großen
I
Teil III: Funktionale Programmierung im richtigen Leben
I
Effizient Funktional Programmieren
I
Fallstudie: Kombinatoren
I
Eine Einführung in Scala
I
Rückblich & Ausblick
2 [24]
Organisatorisches
I
Ausgefüllten Scheinvordruck zum Fachgespräch mitbringen
I
Nur wer ausgefüllten Scheinvordruck abgibt, erhält auch einen.
I
Evaluationsbogen ausfüllen
3 [24]
Beispiel
4 [24]
Beispiel
Definieren Sie eine Funktion leastSpaces, welche aus
einer Liste von Zeichenketten diejenige zurückgibt,
welche die wenigsten Leerzeichen enthält.
4 [24]
Inhalt
I
Wiederholung
I
Rückblick, Ausblick
5 [24]
Vorlesung vom 27.10.10: Grundbegriffe
I
Was sind die Bestandteile einer Funktionsdefinition?
6 [24]
Vorlesung vom 27.10.10: Grundbegriffe
I
Was sind die Bestandteile einer Funktionsdefinition?
I
Was bedeutet referentielle Transparenz?
6 [24]
Vorlesung vom 27.10.10: Grundbegriffe
I
Was sind die Bestandteile einer Funktionsdefinition?
I
Was bedeutet referentielle Transparenz?
I
Was ist eigentlich syntaktischer Zucker? (Beispiel?)
6 [24]
Vorlesung vom 03.11.10: Funktionen und Datentypen
I
Welche Auswertungsstrategien gibt es, welche benutzt Haskell?
7 [24]
Vorlesung vom 03.11.10: Funktionen und Datentypen
I
Welche Auswertungsstrategien gibt es, welche benutzt Haskell?
I
Was bedeutet Striktheit?
7 [24]
Vorlesung vom 03.11.10: Funktionen und Datentypen
I
Welche Auswertungsstrategien gibt es, welche benutzt Haskell?
I
Was bedeutet Striktheit?
I
Was ist die Abseitsregel?
7 [24]
Vorlesung vom 03.11.10: Funktionen und Datentypen
I
Welche Auswertungsstrategien gibt es, welche benutzt Haskell?
I
Was bedeutet Striktheit?
I
Was ist die Abseitsregel?
I
Welche vordefinierten Basisdatentypen gibt es in Haskell?
7 [24]
Vorlesung vom 10.11.10: Rekursive Datentypen
I
Welches sind die wesentlichen Eigenschaften der Konstruktoren eines
algebraischen Datentyps?
8 [24]
Vorlesung vom 10.11.10: Rekursive Datentypen
I
Welches sind die wesentlichen Eigenschaften der Konstruktoren eines
algebraischen Datentyps?
I
Was ist das:
data X a = X a [ X a ]
8 [24]
Vorlesung vom 10.11.10: Rekursive Datentypen
I
Welches sind die wesentlichen Eigenschaften der Konstruktoren eines
algebraischen Datentyps?
I
Was ist das:
data X a = X a [ X a ]
I
Was bedeutet strukturelle Induktion?
8 [24]
Vorlesung vom 10.11.10: Rekursive Datentypen
I
Welches sind die wesentlichen Eigenschaften der Konstruktoren eines
algebraischen Datentyps?
I
Was ist das:
data X a = X a [ X a ]
I
Was bedeutet strukturelle Induktion?
I
Wie beweist man folgende Behauptung:
map f ( map g x s ) = map ( f . g ) x s
8 [24]
Vorlesung vom 17.11.10: Typvariablen und Polymorphie
I
Was ist parametrische Polymorphie in funktionalen Sprachen?
9 [24]
Vorlesung vom 17.11.10: Typvariablen und Polymorphie
I
Was ist parametrische Polymorphie in funktionalen Sprachen?
I
Wo ist der Unterschied zu Polymorphie Java, und was entspricht der
parametrischen Polymorphie in Java?
9 [24]
Vorlesung vom 17.11.10: Typvariablen und Polymorphie
I
Was ist parametrische Polymorphie in funktionalen Sprachen?
I
Wo ist der Unterschied zu Polymorphie Java, und was entspricht der
parametrischen Polymorphie in Java?
I
Welche Standarddatentypen gibt es in Haskell?
9 [24]
Vorlesung vom 17.11.10: Typvariablen und Polymorphie
I
Was ist parametrische Polymorphie in funktionalen Sprachen?
I
Wo ist der Unterschied zu Polymorphie Java, und was entspricht der
parametrischen Polymorphie in Java?
I
Welche Standarddatentypen gibt es in Haskell?
I
Wozu dienen Typklassen in Haskell?
9 [24]
Vorlesung vom 24.11.10: Funktionen höherer Ordnung
I
Was ist eine Funktion höher Ordnung?
10 [24]
Vorlesung vom 24.11.10: Funktionen höherer Ordnung
I
Was ist eine Funktion höher Ordnung?
I
Was ist einfache Rekursion?
10 [24]
Vorlesung vom 24.11.10: Funktionen höherer Ordnung
I
Was ist eine Funktion höher Ordnung?
I
Was ist einfache Rekursion?
I
Was ist Listenkomprehension?
10 [24]
Vorlesung vom 24.11.10: Funktionen höherer Ordnung
I
Was ist eine Funktion höher Ordnung?
I
Was ist einfache Rekursion?
I
Was ist Listenkomprehension?
I
Wie läßt sich Listenkomprehension durch map und filter darstellen?
10 [24]
Vorlesung vom 24.11.10: Funktionen höherer Ordnung
I
Was ist eine Funktion höher Ordnung?
I
Was ist einfache Rekursion?
I
Was ist Listenkomprehension?
I
Wie läßt sich Listenkomprehension durch map und filter darstellen?
I
Was ist der Unterschied zwischen foldr und foldl ?
10 [24]
Vorlesung vom 24.11.10: Funktionen höherer Ordnung
I
Was ist eine Funktion höher Ordnung?
I
Was ist einfache Rekursion?
I
Was ist Listenkomprehension?
I
Wie läßt sich Listenkomprehension durch map und filter darstellen?
I
Was ist der Unterschied zwischen foldr und foldl ?
I
. . . und wann benutzt man welches?
10 [24]
Vorlesung vom 01.12.10: Typinferenz
I
Woran kann Typableitung scheitern?
11 [24]
Vorlesung vom 01.12.10: Typinferenz
I
Woran kann Typableitung scheitern?
I
Was ist der Typ von λx y→ (x, 3) : [( " ", y )]
11 [24]
Vorlesung vom 01.12.10: Typinferenz
I
Woran kann Typableitung scheitern?
I
Was ist der Typ von λx y→ (x, 3) : [( " ", y )]
I
. . . und warum?
11 [24]
Vorlesung vom 01.12.10: Typinferenz
I
Woran kann Typableitung scheitern?
I
Was ist der Typ von λx y→ (x, 3) : [( " ", y )]
I
. . . und warum?
I
Was ist ein Beispiel für einen Ausdruck vom Typ [([ a ], Int )] ?
11 [24]
Vorlesung vom 08.12.2010: ADTs
I
Was ist ein abstrakter Datentyp?
12 [24]
Vorlesung vom 08.12.2010: ADTs
I
Was ist ein abstrakter Datentyp?
I
Wieso sind geordnete Bäume ein abstrakter und kein algebraischer
Datentyp?
12 [24]
Vorlesung vom 08.12.2010: ADTs
I
Was ist ein abstrakter Datentyp?
I
Wieso sind geordnete Bäume ein abstrakter und kein algebraischer
Datentyp?
I
Wieso sind Listen ein algebraischer und kein abstrakter Datentyp?
12 [24]
Vorlesung vom 08.12.2010: ADTs
I
Was ist ein abstrakter Datentyp?
I
Wieso sind geordnete Bäume ein abstrakter und kein algebraischer
Datentyp?
I
Wieso sind Listen ein algebraischer und kein abstrakter Datentyp?
I
Haben abstrakte Datentypen einen verkapselten Zustand?
12 [24]
Vorlesung vom 08.12.2010: ADTs
I
Was ist ein abstrakter Datentyp?
I
Wieso sind geordnete Bäume ein abstrakter und kein algebraischer
Datentyp?
I
Wieso sind Listen ein algebraischer und kein abstrakter Datentyp?
I
Haben abstrakte Datentypen einen verkapselten Zustand?
I
Was ist ein Modul in Haskell, und was sind seine Bestandteile?
12 [24]
Vorlesung vom 05.01.11: Signaturen und Eigenschaften
I
Was ist eine Signatur?
13 [24]
Vorlesung vom 05.01.11: Signaturen und Eigenschaften
I
Was ist eine Signatur?
I
Was sind Axiome?
13 [24]
Vorlesung vom 05.01.11: Signaturen und Eigenschaften
I
Was ist eine Signatur?
I
Was sind Axiome?
I
Was wäre ein ADT für Array a — welche Operationen, welche
Eigenschaften?
13 [24]
Vorlesung vom 12.01.11: Aktionen und Zustände
I
Was unterscheidet Aktionen (IO a) von anderen ADTs?
14 [24]
Vorlesung vom 12.01.11: Aktionen und Zustände
I
Was unterscheidet Aktionen (IO a) von anderen ADTs?
I
Was sind die Operationen des ADT IO a?
14 [24]
Vorlesung vom 12.01.11: Aktionen und Zustände
I
Was unterscheidet Aktionen (IO a) von anderen ADTs?
I
Was sind die Operationen des ADT IO a?
I
Wozu dient return?
14 [24]
Vorlesung vom 12.01.11: Aktionen und Zustände
I
Was unterscheidet Aktionen (IO a) von anderen ADTs?
I
Was sind die Operationen des ADT IO a?
I
Wozu dient return?
I
Welche Eigenschaften haben die Operationen?
14 [24]
Vorlesung vom 12.01.11: Aktionen und Zustände
I
Was unterscheidet Aktionen (IO a) von anderen ADTs?
I
Was sind die Operationen des ADT IO a?
I
Wozu dient return?
I
Welche Eigenschaften haben die Operationen?
I
Wie kann man. . .
14 [24]
Vorlesung vom 12.01.11: Aktionen und Zustände
I
Was unterscheidet Aktionen (IO a) von anderen ADTs?
I
Was sind die Operationen des ADT IO a?
I
Wozu dient return?
I
Welche Eigenschaften haben die Operationen?
I
Wie kann man. . .
I
. . . aus einer Datei lesen?
14 [24]
Vorlesung vom 12.01.11: Aktionen und Zustände
I
Was unterscheidet Aktionen (IO a) von anderen ADTs?
I
Was sind die Operationen des ADT IO a?
I
Wozu dient return?
I
Welche Eigenschaften haben die Operationen?
I
Wie kann man. . .
I
. . . aus einer Datei lesen?
I
. . . die Kommandozeilenargumente lesen?
14 [24]
Vorlesung vom 12.01.11: Aktionen und Zustände
I
Was unterscheidet Aktionen (IO a) von anderen ADTs?
I
Was sind die Operationen des ADT IO a?
I
Wozu dient return?
I
Welche Eigenschaften haben die Operationen?
I
Wie kann man. . .
I
. . . aus einer Datei lesen?
I
. . . die Kommandozeilenargumente lesen?
I
. . . eine Zeichenkette ausgeben?
14 [24]
Vorlesung vom 19.01.11: Effizienzaspekte
I
Was ist Endrekursion?
15 [24]
Vorlesung vom 19.01.11: Effizienzaspekte
I
Was ist Endrekursion?
I
Was ist ein Speicherleck in Haskell?
15 [24]
Vorlesung vom 19.01.11: Effizienzaspekte
I
Was ist Endrekursion?
I
Was ist ein Speicherleck in Haskell?
I
Wie vermeide ich Speicherlecks?
15 [24]
Zusammenfassung Haskell
Stärken:
Abstraktion durch
I
I
I
I
Polymorphie und Typsystem
algebraische Datentypen
Funktionen höherer Ordnung
I
Flexible Syntax
I
Haskell als Meta-Sprache
I
Ausgereifter Compiler
I
Viele Büchereien
Schwächen:
I
I
Komplexität
Dokumentation
I
I
I
Büchereien
Noch viel im Fluß
I
I
I
z.B. im Vergleich zu Java’s APIs
Tools ändern sich
Zum Beispiel HGL
Entwicklungsumgebungen
16 [24]
Andere Funktionale Sprachen
I
I
Standard ML (SML):
I
Streng typisiert, strikte Auswertung
I
Formal definierte Semantik
I
Drei aktiv unterstütze Compiler
I
Verwendet in Theorembeweisern (Isabelle, HOL)
I
http://www.standardml.org/
Caml, O’Caml:
I
Streng typisiert, strikte Auswertung
I
Hocheffizienter Compiler, byte code & nativ
I
Nur ein Compiler (O’Caml)
I
http://caml.inria.fr/
17 [24]
Andere Funktionale Sprachen
I
LISP & Scheme
I
Ungetypt/schwach getypt
I
Seiteneffekte
I
Viele effiziente Compiler, aber viele Dialekte
I
Auch industriell verwendet
18 [24]
Funktionale Programmierung in der Industrie
I
I
I
I
Erlang
I
schwach typisiert, nebenläufig, strikt
I
Fa. Ericsson — Telekom-Anwendungen
FL
I
ML-artige Sprache
I
Chip-Verifikation der Fa. Intel
Galois Connections
I
Hochqualitätssoftware in Haskell
I
Hochsicherheitswebserver, Cryptoalgorithmen
Verschiedene andere Gruppen
19 [24]
Perspektiven
I
Funktionale Programmierung in 10 Jahren?
I
Anwendungen:
I
I
Integration von XML, DBS (X#/Xen, Microsoft)
I
Integration in Rahmenwerke (F# & .Net, Microsoft)
I
Eingebettete domänenspezifische Sprachen
Forschung:
I
Ausdrucksstärkere Typsysteme
I
für effiziente Implementierungen
I
und eingebaute Korrektheit (Typ als Spezifikation)
I
Parallelität?
20 [24]
Warum funktionale Programmierung nie Erfolg haben wird
I
Programmierung nur kleiner Teil der SW-Entwicklung
I
Mangelnde Unterstützung:
I
Libraries, Dokumentation, Entwicklungsumgebungen
I
Nicht verbreitet — funktionale Programmierer zu teuer
I
Konservatives Management
I
“Nobody ever got fired for buying IBM”
21 [24]
Warum funktionale Programmierung lernen?
I
Denken in Algorithmen, nicht in Programmiersprachen
I
Abstraktion: Konzentration auf das Wesentliche
I
Wesentliche Elemente moderner Programmierung:
I
Datenabstraktion und Funktionale Abstraktion
I
Modularisierung
I
Typisierung und Spezifikation
I
Blick über den Tellerrand — Blick in die Zukunft
I
Studium 6= Programmierkurs — was kommt in 10 Jahren?
22 [24]
Hilfe!
I
Haskell: primäre Entwicklungssprache am DFKI, FG SKS
I
Formale Programmentwicklung: http://www.tzi.de/cofi/hets
I
Sicherheit in der Robotik: http://www.dfki.de/sks/sams
I
Wir suchen studentische Hilfskräfte für diese Projekte
I
Wir bieten:
I
I
Angenehmes Arbeitsumfeld
I
Interessante Tätigkeit
Wir suchen Tutoren für PI3
I
im WS 11/12 — meldet Euch bei Berthold Hoffmann!
23 [24]
Tschüß!
24 [24]