Bachelorseminar Perlen der funktionalen Programmierung

Beschreibung

Inhalt

Bei den “Perlen 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.

Genauer darf als Thema eine der “Perlen der funktionalen Programmierung” bearbeitet werden, die im Journal of Functional Programming, im Buch “Pearls of Functional Algorithm Design” von Richard Bird oder in Tagungsbänden der International Conference on Functional Programming und zugehörigen Workshops zu finden sind.

Eine (unvollständige) Liste ist unter https://wiki.haskell.org/Research_papers/Functional_pearls#Online zu finden.

Perlen der genannten Konferenzen und Workshops können mit der folgenden Suchanfrage gefunden werden:

https://dl-acm-org.emedien.ub.uni-muenchen.de/action/doSearch?fillQuickSearch=false&target=advanced&AvailableFormat=lit%3Apdf&ContentItemType=research-article&expand=all&AllField=Title%3A%28%22functional+pearl%22%29&startPage=0&sortBy=Ppub_desc

Perlen des Journal of Functional Programming können mit der folgenden Suchanfrage gefunden werden:

https://www-cambridge-org.emedien.ub.uni-muenchen.de/core/journals/journal-of-functional-programming/listing?q=%26quot%3BFunctional%20Pearl%26quot%3B&sort=canonical.date%3Adesc&fts=no&searchWithinIds=49AD4731AAB0E94D8EF98BBB4EE56A7F

Die beiden Suchanfragen erfordern ihr Einloggen mit der LMU-Benutzerkennung, dafür können Sie direkt auch auf die gesuchten Beiträge über die UB der LMU zugreifen.

Auch eine Suche bei Google-Scholar kann verwendet werden:

https://scholar.google.com/scholar?q=%22functional+pearl%22&hl=de&as_sdt=0,5&as_vis=1

Organisation

  • Umfang: Blockseminar am Ende des Semesters, 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

Anforderungen

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

Zeit und Ort

  • Vorbesprechung am 19.10.2021 um 16 Uhr online, via Zoom
  • Blitzvorträge: TBA
  • Abgabe erste Version der Ausarbeitung: TBA
  • Abgabe von zwei Reviews: TBA
  • Vorträge: TBA
  • Abgabe endgültige Version der Ausarbeitung: TBA

Weitere Informationen

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

Institut
Institut für Informatik
Dozent:in
Korrektor:in
Kursteilnehmer:innen
13 von 15
Zentralanmeldung
Bachelorseminare
Direkte Anmeldung

Mo 25 Okt 2021 00:00 – Do 31 Mär 2022 23:59

Abmeldung nur bis Do 31 Mär 2022 23:59

Anweisungen zur Anmeldung

Es werden keine Bewerbungen gesichtet, Platzvergabe findet über Zentralanmeldung statt.

Material

Das Kursmaterial ist nur für Mitglieder des Kurses einsehbar, also z.B. für Teilnehmer:innen, Tutor:innen, Korrektor:innen und Verwalter:innen.

Prüfungen
NameNameAnmeldung abAnmeldung abAnmeldung bisAnmeldung bisTerminTerminPrüfungsanmeldungPrüfungsanmeldung
Sa 27 Feb 2021 00:00 – So 27 Feb 2022 00:00
Nicht zur Prüfung angemeldet
Termine
ArtArtZeitZeitRegulärer RaumRegulärer RaumNotizNotiz
Vorbesprechung und Themenvergabe
  • Di 19 Okt 2021 16:00–18:00
Raum wird nur Kurs-assoziierten Personen (Teilnehmer:innen, Tutor:innen, Korrektor:innen, etc.) angezeigt
Blitzvorträge (via Zoom)
  • Mi 10 Nov 2021 09:30–11:00
Raum wird nur Kurs-assoziierten Personen (Teilnehmer:innen, Tutor:innen, Korrektor:innen, etc.) angezeigt
Vorträge (am Mittwoch 02. Feb.)
  • Mi 02 Feb 2022 13:00–19:00
Raum wird nur Kurs-assoziierten Personen (Teilnehmer:innen, Tutor:innen, Korrektor:innen, etc.) angezeigt
Vorträge (am Donnerstag 03. Feb.)
  • Do 03 Feb 2022 09:00–15:00
Raum wird nur Kurs-assoziierten Personen (Teilnehmer:innen, Tutor:innen, Korrektor:innen, etc.) angezeigt