Proseminar - Perlen der funktionalen Programmierung
- Proseminare
| Veranstalter: | Dr. Andrej Dudenhefner |
|---|---|
| Typ: | Proseminar |
| Modulnummer: | INF-BSc-110 |
| Termine: | Online Blockseminar Do. 11.01.2024 und Fr. 12.01.2024, jeweils 10-12 Uhr und 13-16 Uhr |
| Ausarbeitung: | Bis zum 26.01.2024 5 Seiten als PDF Easychair Format |
Beschreibung
In diesem Proseminar wollen wir uns mit "Perlen" der funktionalen Programmierung befassen:
- elegante Algorithmen
- effiziente Datenstrukturen
- Domain-spezifische Programmbibliotheken (z.B. für Parsing)
- Herleitung von (effizienten) Programmen aus korrekten, aber ineffizienten Beschreibungen
Neben den fachlichen Aspekten sollen das Lesen, Zusammenfassen und die Präsentation von Forschungsergebnissen erlernt werden.
Die Vortragsthemen des Proseminars basieren größtenteils auf Forschungsartikeln, die als "Functional Pearls" in der Zeitschrift Journal of Functional Programming oder einer der großen Konferenzen im Bereich Programmiersprachen erschienen sind.
Einige dieser Arbeiten benutzen die Programmiersprache Haskell. Daher werden wir uns in den ersten Treffen etwas näher mit den Besonderheiten von Haskell beschäftigen:
bedarfsgesteuerte Auswertung und "unendliche" Datenstrukturen Haskell Typsystem, Typklassen und monadische Typen.
Leistung
- Benoteter Vortrag (20 Minuten Votragszeit + 5 Minuten Rückfragen)
- Schriftliche, benotete Ausarbeitung
- Teilnahme an den Vorträgen von anderen Teilnehmenden
Die Abschlussnote bewertet die Qualität der Diskussionsbeiträge, den Vortrag und die Ausarbeitung.
Präsentationstechniken
Das Element Präsentationstechniken (1 CP) des Moduls Proseminar (INF-BSc-110) findet in Präsenz statt und umfasst folgende Termine.
| Zeit | Dienstags, 14:15 - 15:45 |
| Ort | Otto-Hahn-Str. 12, Raum 2.063 |
| Termine | 10.10.2023, 17.10.2023, 24.10.2023, 31.10.2023 |
| Beipiel | Eigenheiten der kochschen Schneeflocke, LaTeX Quellcode |
Themenliste
- A Play on Regular Expressions
- A Poor Man's Concurrency Monad
- A Pretty But Not Greedy Printer
- A program to solve Sudoku
- A Short Cut to Deforestation
- All Sorts of Permutations
- Composing fractals
- Data types a la carte
- Enumerating the Rationals
- Every Bit Counts
- Explaining Binomial Heaps
- Fun with Semirings
- Inverting the Burrows–Wheeler transform
- Lazy wheel sieves and spirals of primes
- Monadic Parsing in Haskell
- Parsing permutation phrases
- Pickler combinators
- The Genuine Sieve of Eratosthenes
- Two Can Keep a Secret If One of Them Uses Haskell
- Typed quote_antiquote or Compile-time parsing
Alternativ zu den oben genannten Themen kann (nach Absprache) eine Veröffentlichung der Zeitschrift Journal of Functional Programming im Bereich Functional Pearls behandelt werden.