HaL9 - Haskell in Halle/Saale
Es ist wieder so weit: Am Freitag, 20. Juni laden wir zum 9. Haskell-Treffen HaL ein, diesmal nach Halle an der Saale. Wir bieten
eine bunte Mischung aus Tutorien zum Mitmachen, Vorträgen zum Anhören und Gelegenheiten zum Fachsimpeln, theoretisches wie
praktisches, ernstes wie heiteres.
Ort: Martin-Luther-Universität Halle-Wittenberg, Institut für Informatik
, Halle/Saale, Germany
Datum: Freitag 20.6.2014
Anmeldung: über digestive-functors-Formular auf
HappStack-Server
Programm: vorläufiges PDF-Dokument
Call for Paper: in der Haskell Mailingliste
Folien: Präsentationen zum Download
Der eingeladene Vortrag "Einige polymorphe Erfahrungen mit Haskell-Vorlesungen" wird von Prof. Ernst-Erich Doberkat, Autor des Buches
"Haskell für Objektorientierte" gehalten und von der Georg-Cantor-Vereinigung e.V. finanziell unterstützt.
Vormittagsprogramm: Tutorien
Übersicht:
| Track |
A |
B |
C |
| 09:30 - 11:00 |
Messaging |
Einführung |
LLVM |
| 11:00 - 11:30 |
Kaffeepause |
|
|
| 11:30 - 13:00 |
Messaging |
Mind the gap |
LLVM |
Ausführlich:
| 09:30 - 11:00 |
A: Haskell im harten Alltag |
| Stefan Wehr |
Implementierung eines Messaging-Servers |
| 09:30 - 11:00 |
B: Haskell für Einsteiger |
| Nils Rexin |
Algebraische Datentypen, Pattern Matching, Funktionen höherer Ordnung, Folds |
| 09:30 - 11:00 |
C: Haskell und LLVM |
| Henning Thielemann |
Effiziente Programme schreiben mit dem LLVM-Just-In-Time-Compiler |
| 11:00 - 11:30 |
Kaffeepause |
| 11:30 - 13:00 |
A: Haskell im harten Alltag |
| Stefan Wehr |
Wiederholung von 9:30 |
| 11:30 - 13:00 |
B: Mind the gap, fill the gap |
Johannes Waldmann
HTWK Leipzig |
Lösen von Aufgaben mit dem Autotool und Testen mit Smallcheck |
| 11:30 - 13:00 |
C: Haskell und LLVM |
| Henning Thielemann |
Wiederholung von 9:30 |
Mittagspause
| 13:00 - 14:30 |
Mittagessen in der Weinbergmensa |
|
Essen + Getränk für 6,00 Euro |
Nachmittagsprogramm: Hauptvorträge
| 14:30 - 15:30 |
Einige polymorphe Erfahrungen mit Haskell-Vorlesungen |
| Ernst-Erich Doberkat |
Verschiedene Zugänge zur Haskell-Programmierung und ein Plädoyer für funktionale statt prozeduraler Sprachen in der
Lehre |
| 16:00 - 16:40 |
Datomic |
Alexander Kiel
Universität Leipzig |
Verwaltung großer Datenmengen mit Datomic |
| 17:00 - 17:40 |
Von Wikipedia nach LaTeX |
| Dirk Hünniger |
Ein Programm zur Konvertierung von Wikipedia-Artikeln nach LaTeX |
| 18:00 - 18:40 |
Mehr ML-Funktoren |
| Jürgen Pfitzenmaier |
Präprozessor für OCaml: Wie man verschiedene Haskell-Typtricks mit ML-Funktoren ausdrücken kann |
Abendprogramm
| 19:00 - spät |
Gemeinsames Abendessen |
|
Waldkater (auf eigene Rechnung) |
|
