Proseminar: Real World OCaml
| Leitung: | Prof. Dr. Peter Thiemann | |||
| Mitwirkung: | Leonardo Mieschendahl | |||
| Zeit und Ort: |
Vorbesprechung am Di 16.10.2024, 17:00, SR 01-009/13, Geb. 101
| |||
Prüfungs- bzw. Studienleistung
- Anwesenheit und aktive Teilnahme an den Proseminarsitzungen
- Einreichen von Folien und Reviews zu den vereinbarten Terminen
- Vorbereitung und Halten eines 30-minütigen Vortrags über das vereinbarte Thema
- Literaturrecherche und Essay zu einem Konzept aus der Programmierung
Ein Proseminar ist ausgerichtet auf die Präsentation von wissenschaftlichen Ergebnissen, aber es soll auch Kompetenzen für die wissenschaftliche Arbeit vermitteln. Insbesondere
- Literaturrecherche
- Lesen und Verstehen von wissenschaftlichen Texten
- Vorbereiten einer wissenschaftlichen Präsentation
- Halten einer Präsentation
Ablauf
Abgaben sollten jeweils am Morgen des folgenden Tages vorliegen und sind ausschließlich über das Ilias-System möglich.
| 1. | Vorbesprechung | Di 16.10.2024, 17:00 |
| 2. | Themenvergabe | TBA |
| 3. | Erstes Treffen mit dem Betreuer | TBA |
| 5. | Abgabe erste Version der Folien und Reviews | TBA |
| 7. | Abgabe endgültige Version der Folien | TBA |
| 8. | Präsentation | TBA |
Themen
Grundlage des Proseminars ist das Buch "Real World OCaml", das im Netz in den Formaten HTML/PDF verfügbar ist. Ein Vortrag entspricht einem Abschnitt im Buch vom Umfang etwa einer Vorlesungsstunde. Hier ist die Webseite zum Buch: https://dev.realworldocaml.org/. Zuerst werden die Kapitel 2-7 im Wochenrhythmus selbst gelesen, danach wöchentlich zwei Vorträge zu Themen aus den Kapiteln 9-19.
Literatur
- OCaml from the Very Beginning. John Whitington. Coherent Press 2013.
- More OCaml: Algorithms, Methods & Diversions. John Whitington. Coherent Press 2014.
- ocaml.org Dokumentation und Tutorials.