392185 Fortgeschrittene funktionale Programmierung in Haskell (V+Ü) (SoSe 2017)
Short comment
- Für diese Veranstaltung werden 5 LP vergeben.
Contents, comment
-
ACHTUNG: Dieses Semester findet diese Vorlesung als YouTube-Vorlesung statt. Die diesjährige Reihenfolge der Videos ist unter https://www.youtube.com/playlist?list=PLMqFm6rr-xOXK8G2O31Kdzllm3aYaaRKG zu finden. Aufkommende Fragen und ergänzende Erklärungen werden in den Übungen behandelt.
Übungen finden statt immer Montags, 16-20 Uhr in V2-222Details im E-Mail-Archives dieser Veranstaltung: https://ekvv.uni-bielefeld.de/kvv_publ/publ/Forum_Veranstaltung.jsp?id=94694136
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 müssen 50% der vergebenden Punkte erreicht werden. Die Hälfte der erreichbaren Punkte sind durch wöchentliche Übungsaufgaben zu erreichen, die andere Hälfte über einen Pool an Programmierprojekten, welche bis zum Semesterende abzuschließen sind.
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 | |
|---|---|---|---|---|---|
| wöchentlich | Mo | 16-18 | V2-222 | 18.04.-28.07.2017 | |
| wöchentlich | Mo | 18-20 | V2-222 | 18.04.-28.07.2017 |
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 |
Für das Bestehen der Veranstaltung müssen aus dem gesamten Punktepool mindestens 50% der Punkte erreicht werden.
50% der Punkte werden über wöchentliche Übungsaufgaben vergeben, 50% der Punkte durch Projektpools am Ende des Semesters.
- Registered number: 12
- This is the number of students having stored the course in their timetable. In brackets, you see the number of users registered via guest accounts.
- Address:
- SS2017_392185@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_94694136@ekvv.uni-bielefeld.de
- Coverage:
- 7 Students to be reached directly via email
- Notes:
- Additional notes on the electronic mailing lists
- Email archive
- Number of entries 0
- Open email archive
- Last update basic details/teaching staff:
- Thursday, May 4, 2017
- Last update times:
- Thursday, May 4, 2017
- Last update rooms:
- Thursday, May 4, 2017
- Type(s) / SWS (hours per week per semester)
- Vorlesung (V) + Übung (Ü) / 2+2
- Department
- Technische Fakultät
- 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=94694136
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 94694136