Übersicht
| Dozent: | Prof. Tobias Nipkow |
| Übungsleitung: |
Lars Noschinski,
Lars Hupel,
Jasmin Blanchette,
Manuel Eberl
Fragen bitte auf Piazza stellen oder per Mail an fp an fp.informatik.tu-muenchen.de |
| Zeit und Ort: | Fr. 08:30-10:00 Uhr, Interimshörsaal 1 |
| Beginn: | 10.10.2014 |
| Links: | TUMonline · Q & A auf Piazza (Login via Moodle) · Übungssystem · Aufzeichnungen
Für den Zugriff auf Piazza müssen Sie in TUMonline für eine der Übungsgruppen angemeldet sein. |
News
- 01.04.: Anmeldung zur Einsicht freigeschaltet, siehe Klausuren.
- 03.02.: Die Einwände zur Einsicht wurden bearbeitet. Wenn Sie in der Einsicht Einwände geltend gemacht haben, sollten Sie jetzt eine Mail bekommen haben und finden das gegebenenfalls angepasste Ergebnis in TUMonline.
- 15.02.: Anmeldung zur Einsicht freigeschaltet, siehe Klausuren.
- 05.02.: Das Abgabesystem zeigt nun alle erreichten Punktzahlen an. Den Bonus erhalten Sie, wenn 10 oder mehr Blätter "bestanden" worden sind.
- 15 Studenten wegen Plagiarismus von Bonuspunkten ausgeschlossen
Inhalt
Die Vorlesung bietet eine Einführung in die funktionale Programmierung. Als Programmiersprache verwenden wir Haskell.
Der augenblickliche Stand der Folien.
Die Haskell-Programme aus der Vorlesung:
V1.hs
V2.hs
Pictures.hs
V4.hs
Tree.hs
Form.hs
hangman.hs
icp.hs
pingPong.hs
wGet.hs
Huffman.hs
SkewHeap.hs
Parser.hs
ExprParser.hs
Haskell
Übersicht: Offizielle Haskell-Seite mit Büchern, Tutorien, Sprachdefinition und vielem mehr
Installationsanleitung: Wie man den Glasgow Haskell Compiler installiert und benutzt
Die ersten Übungen finden in der Woche vom 13.10. statt. Bitte erscheinen Sie vorbereitet, d.h. mit einer funktionsfähigen Haskell-Installation. (Für Studenten ohne Laptop bieten wir eine spezielle Gruppe an, siehe Übungsseite.)
Für die ersten Schritte mit GHC bieten wir eine Sprechstunde an. Wenn Sie Probleme mit der Installation von GHC haben, können Sie unangemeldet zu diesen Terminen kommen:
| Tag | Uhrzeit | Raum |
|---|---|---|
| Freitag, 10.10.2014 | 10:00-12:00 | MI 01.09.014 |
| Montag, 13.10.2014 | 10:00-13:00 | MI 01.09.014 |
Bringen Sie bitte Ihren Laptop mit.
Literatur
Die Vorlesung orientiert sich stark an
- Simon Thompson. Haskell - The Craft of Functional Programming. Addison-Wesley.
Eine viel kompaktere und ebenfalls sehr empfehlenswerte Einführung ist
- Graham Hutton. Programming in Haskell. Cambridge University Press.
Why Functional Programming Matters – Even on Wall Street
Funktionale Programmiersprachen erfreuen sich steigender Beliebtheit. Zum Beispiel bei Jane Street Capital, einer Finanzfirma in New York, London und Hong Kong, die die funktionale Sprache OCaml benutzt und auch darüber berichtet.
Was passieren kann, wenn Finzanzsoftware fehlerhaft ist, kann man am Fall Knight Capital sehen.
Hier ein paar Erfahrungsberichte mit industrieller Funktionaler Programmierung: Credit Suisse, Twitter, Naughty Dog Inc., Trifork, Citrix, S&P Capital IQ, Verizon