Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2019 / Seminar: Perlen der funktionalen Programmierung


Inhaltsbereich

Seminar: Perlen der funktionalen Programmierung

Seminar für Bachelor und Master; Sabel, Schöpp, Barth, Jost

Aktuelles

  • Räume im LMU-Raumfinder:
  • Vortragsreihenfolge: Für die Vorträge ist die folgende Reihenfolge geplant,
    wobei vermutlich jeweils 6 Vorträge am Donnerstag und 6 Vorträge am Freitag stattfinden.
    Trotzdem muss jede(r) Vortragende in der Lage sein, den Vortrag auch früher zu halten,
    falls es z.B. krankheitsbedingte Ausfälle gibt.
    1    A play on regular expressions
    2    Trouble shared is trouble halved
    3    A program to solve Sudoku
    4    Linear bounded functional pretty printing
    5    Enumerating the rationals
    6    Parallel Parsing Processes
    7    Diets for fat sets
    8    Algebraic graphs with a class
    9    Enumerating strings of regular languages  
    10    Normalization by Evaluation  
    11    Composing contracts: adventure in financial engineering  
    12    Scrap Your Zippers
  • Der verbindliche Vorbesprechungstermin wurde unter Zeit & Ort bekanntgegeben!
  • Vor der ersten Vorbesprechung sollte jeder Teilnehmer eine grobe Vorauswahl von 2-4 Artikeln treffen, siehe Link in der Beschreibung des Inhalts.
  • Die Anmeldung erfolgt über die Zentralanmeldung für Bachelor- und Masterseminare auf UniWorX. Es werden keinerlei Bewerbungsunterlagen verlangt oder gesichtet.

Inhalt

Wir betrachten Artikel des Journal of Functional Programming aus der Reihe 

Functional Pearls

Bei den "Perlen der der Funktionalen Programmierung" geht es um besonders elegante oder lustige Lösungen von kleinen eigenständigen Problemen mit Hilfe der Eigenheiten funktionaler Programmierung. Gut einhundert Artikel dieser Reihe aus den Jahren 1990-2018 sind online verfügbar (siehe Link) und decken eine große Bandbreite von Problemen und Lösungsansätzen ab, so dass für jede(n) Teilnehmer(in) ein passendes spannendes Thema zu finden sein sollte.

Functional pearls are elegant, instructive examples of functional programming. They are supposed to be fun, and they teach important programming techniques and fundamental design principles. They traditionally appear in The Journal of Functional Programming, and at ICFP and affiliated workshops.

Ggf. können auf Wunsch der Teilnehmer auch Themen aus dem Buch Pearls of Functional Algorithm Design von Richard Bird hinzugenommen werden.


Organisation

  • Umfang:  Blockseminar am Ende des Semesters, 3 verpflichtende Anwesenheitstermine: Vorbesprechung, 1Min-Blitzvorträge, Seminarvorträge
  • Vorkenntnisse: bestandene ProMo (Programmierung und Modellierung) oder vergleichbare Kenntnisse einer funktionalen Programmiersprache (OCaml, SML, Lisp, Haskell, ...)
  • Veranstalter:  Prof. Dr. David Sabel, Dr. Ulrich SchöppDr. Steffen Jost, Stephan Barth

Anforderungen

  • Blitzvortrag 90 Sekunden: Inhaltsübersicht, eine Folie
  • Vortrag: 30 Minuten (plus Diskussion)
  • Anwesenheit während der Seminarsitzungen
  • Ausarbeitung zum Thema (Bachelor 7.000-14.000 Zeichen, Master 20.000-30.000 Zeichen)

Zeit und Ort

  • Zeitplan und Themen werden in der verbindlichen Vorbesprechung am Donnerstag, 25.04.2019 um 14:00 Uhr in L109 an der Oettingenstr. 67 mit den Teilnehmern festgelegt. 
  • Blitzvorträge: Do 16.05., 14-15h in L109
  • Abgabe Ausarbeitung (Vorabversion): Di 18.06.
  • Abgabe Reviews: Do 4.7.
  • Seminar: Do 11.7. (Edmund-Rumpler-Strasse 9, Raum A 028) & Fr 12.7. (Oettingenstr. 67, Raum 033) (halbtags, 9-15h)
  • Abgabe Ausarbeitung (Endfassung): Do, 1.8.

 


Themen

Bachelorstudierende

  1. Parallel Parsing Processes (MB, SJ)
  2. Enumerating the rationals (AB, SB)
  3. Trouble shared is trouble halved (JH, US)
  4. DSL Game Theory (OK, SB)
  5. Calculating the sieve of Eratosthenes (MM, SJ)
  6. Linear bounded functional pretty printing (JS, SJ)
  7. A program to solve Sudoku (GS, DS)
  8. A play on regular expressions (SU, SB)
  9. Diets for fat sets (PaM, US)

Masterstudierende

  1. Enumerating strings of regular languages (LH, SB)
  2. Algebraic graphs with a class (SK, DS)
  3. Composing contracts: adventure in financial engineering (PeM, DS)
  4. Scrap Your Zippers (JP, SJ)
  5. Normalization by Evaluation (SV, US)

Weitere Informationen

Tipps zum Aufbau von Vorträgen und zu Präsentationstechniken:

 

Artikelaktionen


Funktionsleiste