Übersicht
Dozent: | Prof. Tobias Nipkow |
Übungsleitung: | Lars Noschinski, Jasmin Blanchette, Dmitriy Traytel -- Mails bitte an fp an fp.informatik.tu-muenchen.de |
Zeit und Ort: | Di. 15:30-17:00 Uhr, MI Hörsaal 1 |
Beginn: | 16.10.2012 |
TUM online |
News
- Die Anmeldung für die Klausureinsicht ist jetzt auf der Klausurseite möglich. Anmeldungen für den 11.04. müssen bis Montag, 8.4.2013, 24:00 erfolgt sein.
- Die Termine für die Klausureinsicht zur Wiederholungsklausur stehen jetzt fest. Eine Anmeldung ist erforderlich und wird nach der Klausurkorrektur möglich sein.
- Die Informationen zu den Hörsälen zur Wiederholungsklausur finden Sie jetzt auf der Klausurseite.
- 29 StudentInnen (insgesamt) wurden wegen Plagiarismus vom Notenbonus 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
Huffman.hs
Parser.hs
FormParser1.hs
FormParser2.hs
Hang.hs
Haskell
Wie man den Glasgow Haskell Compiler installiert und benutzt.
Die offizielle Haskell Seite
mit Büchern,
Tutorien,
Sprachdefinition und vielem mehr.
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. Aber vielleicht wollen Sie lieber in Singapore, London oder Tianjin arbeiten? Standard Chartered sucht Haskell Programmierer.
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