• Keine Ergebnisse gefunden

Prof. Dr. David Sabel

N/A
N/A
Protected

Academic year: 2021

Aktie "Prof. Dr. David Sabel"

Copied!
15
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Fortgeschrittene Funktionale Programmierung

Sommersemester 2020

Organisatorisches und ¨ Uberblick

Prof. Dr. David Sabel

LFE Theoretische Informatik

(2)

Dozenten und Kontakt

Beteiligte:

Prof. Dr. David Sabel Sarah Vaupel

Email-Verteiler an alle Organisatoren:

ffp2020@tcs.ifi.lmu.de

TCS

|

01 Organisatorisches

|

SoSe 2020 2/15 Organisatorisches Uberblick ¨

(3)

Termine

Vorlesung

Mittwoch 10-12, B 106 (Hauptgeb¨ aude)

Freitag, 10-12, B 106 (Hauptgeb¨ aude) ca. alle 2 Wochen Vorl¨ aufiger Plan f¨ ur die Freitage:

24.04. 08.05. 29.05. 05.06. 19.06. 10.07. 24.07.

Ubung: 3 Termine ¨

Dienstags 16-18, B 011 (Hauptgeb¨ aude) ab 28.04.2020 Donnerstags 14-16, B 011 (Hauptgeb¨ aude) ab 30.04.2020 Donnerstags 16-18, 003 (Schellingstr. 5) ab 30.04.2020

Bis auf Weiteres finden die Veranstaltungen digital und nicht in Pr¨ asenz statt:

Genaueres dazu auf den n¨ achsten Folien!

(4)

Digitalisierung der Vorlesungen

Anstelle der ¨ ublichen Frontal-Vorlesung stellen wir folgendes bereit (nach und nach, Termine wie angek¨ undigt):

Skript zur Vorlesung Vorlesungsfolien

ScreenCasts (Aufgezeichnete Besprechung der Vorlesungsfolien,

” Live“-Coding etc.) Forum auf Moodle, um Fragen und Probleme gemeinsam zu besprechen.

TCS

|

01 Organisatorisches

|

SoSe 2020 4/15 Organisatorisches Uberblick ¨

(5)

Digitalisierung der ¨ Ubungen

Aufgaben zum Selbstl¨ osen und Programmieren

Freiwillige Einreichung der eigenen L¨ osungen und Fragen zum Stoff ¨ uber Uni2work Gemeinsames Besprechen und Vorf¨ uhren als Online-Meetings via Zoom

(oder anderem Werkzeug, wenn nicht praktikabel) und/oder Moodle-Live Chat

Forum auf Moodle, um Fragen und Probleme gemeinsam zu besprechen.

(6)

Das Wichtigste: Feedback

Bitte planen Sie ein, dass Vieles schief gehen wird!

Wenn etwas nicht funktioniert:

Gelassen bleiben, aber Bescheid geben!!!

Bitte kommunizieren Sie mit uns, per Email, per Chat, per Video-Meeting, ...

Wir finden eine L¨ osung!

TCS

|

01 Organisatorisches

|

SoSe 2020 6/15 Organisatorisches Uberblick ¨

(7)

Digitalisierung der Pr¨ ufung

Traditionelle Pr¨ ufung in FFP:

Eigenes Softwareprojekt in Haskell, welches das Verst¨ andnis von mindestens 3 Themen der Vorlesung demonstriert

Teambildung m¨ oglich und erw¨ unscht: (maximale Teamgr¨ oße: 3) Abnahme: Projektdemonstration und Befragung zum Code.

Je nach Lage:

Pr¨ asenzabnahme oder (Online-Meeting & schriftlicher Bericht) Anmeldung der Projekte: Details folgen in wenigen Wochen.

Termine f¨ ur die Abnahmen: Im September

(8)

Webseiten / Material

Durchklicken auf www.tcs.ifi.lmu.de

Anmelden im uni2work und f¨ ur den Moodle-Kurs Unser Vorgehen:

Was ¨ uber uni2work geht, machen wir ¨ uber uni2work.

Moodle daher eher nur f¨ ur Kommunikation (Chat, Forum) Aktuelle und organisatorische Informationen beachten

TCS

|

01 Organisatorisches

|

SoSe 2020 8/15 Organisatorisches Uberblick ¨

(9)

Aufgabenbl¨ atter

Ungef¨ ahr: Jede Woche ein Aufgabenblatt (Feiertagsregelungen werden bekannt gegeben)

Abgabem¨ oglichkeiten und -fristen auf dem Blatt beachten.

In der Regel: Aus- und Abgabe Freitags.

Freiwillige Abgabe und Korrektur ¨ uber uni2work

Erstes Blatt wird am 24.04. ausgegeben und kann bis 01.05. abgegeben werden Ubungen starten n¨ ¨ achste Woche mit:

Hinweisen zur Installation und Verwendung der Werkzeuge und der Digitalisierung (Zoom etc.)

Ank¨ undigungen im Uni2work und im Moodle-Forum f¨ ur Ank¨ undigungen beachten.

(Z.B. Zoom-Raum usw.)

(10)

Inhalt (Planung) (1)

Motivation und Eigenschaften funktionaler Programmiersprachen

Uberblick ¨ ¨ uber Haskell: Funktionen, Datentypen, Listen, Module (zum Großteil aus ProMo bekannt)

Semantik funktionaler Programmiersprachen: Funktionale Kernsprachen und deren Operationale Semantik

Typklassen: Definition, Wichtige Klassen, Aufl¨ osung der ¨ Uberladung in Haskell Applikative Funktoren und Monaden: Monadisches Programmieren, IO-Monade, Dateizugriff

Typisierungsverfahren bzw. -algorithmen:

Iterative polymorphe Typisierung, Milners Typisierungsverfahren

TCS

|

01 Organisatorisches

|

SoSe 2020 10/15 Organisatorisches Uberblick ¨

(11)

Inhalt (Planung) (2)

” Spezialthemen“:

Metaprogrammierung mit Template Haskell Funktionale Referenzen (Linsen, Prismen) Parallel und Concurrent Haskell

Spracherweiterungen Multiparameterklassen, Typfamilien, GADTs, View Patterns, Overloaded Strings, . . .

Webframework f¨ ur Haskell: Yesod

GUI-Programmierung in Haskell

(12)

B¨ ucher (Auswahl)

Lipovaca, M.

Learn You a Haskell for Great Good! A Beginner’s Guide No Starch Press, 2011.

Bird, R.

Thinking Functionally with Haskell, Cambridge University Press, 2014 Thompson, S.

Haskell: The Craft of Functional Programming.

Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999.

Hutton, G.

Programming in Haskell.

Cambridge University Press, 2007.

TCS

|

01 Organisatorisches

|

SoSe 2020 12/15 Organisatorisches Uberblick ¨

(13)

B¨ ucher (Auswahl) (2)

O’Sullivan, B., Goerzen, J., & Stewart, D.

Real World Haskell.

O’Reilly Media, Inc, 2008.

Marlow, S.

Parallel and Concurrent Programming in Haskell O’Reilly, ISBN 9781449335939, 2013.

Snoyman, M.

Developing Web Applications with Haskell and Yesod,

O’Reilly, 2012. ISBN 1449316972.

(14)

B¨ ucher (Auswahl) (3)

Barendregt, H. P.

The Lambda Calculus. Its Syntax and Semantics.

North-Holland, Amsterdam, New York, 1984.

Hankin, C.

An introduction to lambda calculi for computer scientists.

Number 2 in Texts in Computing. King’s College Publications, London, UK, 2004.

TCS

|

01 Organisatorisches

|

SoSe 2020 14/15 Organisatorisches Uberblick ¨

(15)

Webseiten, etc.

Haskell Wiki: http://www.haskell.org/haskellwiki.

Hoogle: http://haskell.org/hoogle durchsucht die Paket-Dokumentationen Haskell-Mailing-Listen:

haskell-cafe@haskell.org beginners@haskell.org haskell@haskell.org

Stack Overflow: http://stackoverflow.com/questions/tagged/haskell

Referenzen

ÄHNLICHE DOKUMENTE

Letzte ¨ Anderung der

Aus dem Beweis des Satzes kann man einen Algorithmus zur n¨ aherungsweise Berechnung von Nullstellen von Funktionen ablesen... Monotonie

Aus dem Beweis des Satzes kann man einen Algorithmus zur n¨ aherungsweise Berechnung von Nullstellen von Funktionen ablesen. TCS | 06 Funktionen und Stetigkeit | WS 2019/20

Man erh¨ alt die komplexen Zahlen, indem man zu den reellen Zahlen die imagin¨ are Einheit i hinzunimmt, die dem Gesetz i 2 = −1 gen¨ ugt.. Danach

Man erh¨ alt die komplexen Zahlen, indem man zu den reellen Zahlen die imagin¨ are Einheit i hinzunimmt, die dem Gesetz i 2 = −1 gen¨ ugt. Danach

Man kann das Restglied Rn x des Satzes auch konkret abschätzen: Satz 10.12 Lagrangesche Form des Restglieds Für das Restglied Rn x aus dem vorangegangenen Satz gilt folgende

TCS | 10 Concurrent Haskell | WS 2019/20 8/80 Einleitung Primitive Beispiele ND-Ops Futures & Async... Der

TCS | 10 Concurrent Haskell | WS 2019/20 2/80 Einleitung Primitive Beispiele ND-Ops Futures & Async..