392186 Fortgeschrittene funktionale Programmierung in Haskell (V+Ü) (SoSe 2016)
Short comment
- Für diese Veranstaltung werden 5 LP vergeben.
Contents, comment
-
Die Vorlesung behandelt ein breites Band an Themen von Funktionaler Programmierung am Beispiel
der Sprache Haskell. Es soll auf Bereiche eingegangen werden, die in der Vorlesung
"Programmieren in Haskell" nicht oder nur geringfügig angesprochen werden.Inbesondere wollen wir folgende Themen behandeln:
- Wiederholung von essentiellen Konzepten, wie Functor/Applicative/Monad
- Parsing in Haskell mit attoparsec & Einführung in lens
- Property-based Testing mit QuickCheck
- effiziente Parallelisierung von Haskell-Programmen und parallele Datenstrukturen
- effiziente Datenstrukturen (2-3-Finger-Trees, Cache-Oblivious Datenstrukturen)
- Netzwerkprogrammierung und Funktionale Programmierung im Web
- Vorteile und Analyse von Typsystemen
- Tieferführende Theorie (Lambdawürfel, Curry-Howard-Korrespondenz, Rekursionsschemata)
Als Abschlussleistung wird ein Programmierprojekt dienen, das bis zum Semesterende abzuschließen ist.
Details dazu werden in der Vorlesung bekannt gegeben.Aktuelle Infos auch auf unserem Twitter-Kanal (z.b. Hinweise auf neue Vorlesungen, Änderungen etc.): https://twitter.com/FFPiHaskell
Requirements for participation, required level
-
Empfohlen: Erfolgreiche Teilnahme am Modul "Algorithmen und Datenstrukturen"
Bibliography
-
Die Folien und Übungsblätter finden Sie unter der folgenden Adresse auf GitHub:
https://github.com/FFPiHaskellDie Mitschnitte der Vorlesung sind auf YouTube zu finden:
https://www.youtube.com/channel/UC5yZfQZrZnug0sgvveTTfnwParallel and Concurrent Programming in Haskell
http://chimera.labs.oreilly.com/books/1230000000929What i wish i knew when learning Haskell
http://www.stephendiehl.com/what/Learn you a Haskell for great good!
http://learnyouahaskell.com/Happy learn you a Haskell Tutorial
http://www.happylearnhaskelltutorial.com/contents.htmlHaskell-Reddit mit weiteren Links (Literatur, IRC, Wikis, ...):
https://www.reddit.com/r/haskell
Fragen bitte nur unter https://www.reddit.com/r/haskellquestions
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period |
|---|
Subject assignments
| Module | Course | Requirements | |
|---|---|---|---|
| 39-Inf-EGMI Ergänzungsmodul Informatik | vertiefende Informatikvorlesung 2.1 | Ungraded examination
|
Student information |
| vertiefende Übung 2.1 zu einer Vorlesung | Ungraded examination
|
Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Studieren ab 50 |
Einzige Anforderung für die Vergabe von Leistungspunkten ist die erfolgreiche Bearbeitung eines der gestellten Projekte, allerdings erleichtert eine Teilnahme an der Vorlesung und den Übungen diese Arbeit massiv.
- E-Learning Space
- E-Learning Space
- Address:
- SS2016_392186@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_71172682@ekvv.uni-bielefeld.de
- Notes:
- Additional notes on the electronic mailing lists
- Email archive
- Number of entries 0
- Open email archive
- Last update basic details/teaching staff:
- Monday, April 11, 2016
- Last update times:
- Thursday, March 31, 2016
- Last update rooms:
- Thursday, March 31, 2016
- Type(s) / SWS (hours per week per semester)
- lecture (V) + exercise (Ü) / 2+2
- Department
- Faculty of Technology
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=71172682
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 71172682