Der Dortmunder Haskell-Stammtisch wurde im April 2009 von Christoph Schubert und Sebastian Menge aus praktischem Interesse an der funktionalen Programmierung mit Haskell gegründet.
Der Stammtisch findet in der Regel alle zwei Wochen am Lehrstuhl für Software-Technologie der TU-Dortmund statt. Es gibt jeweils einen kurzen Vortrag (ca. 30 Minuten) mit viel Raum für Diskussion und Anregungen.
Die Ankündigungen werden über diese Webseite veröffentlicht, man kann aber auch den Kalender zur Rechten als iCal abonnieren. Bei Interesse am Stammtisch kann man sich jederzeit an kontakt@hasta-do.de wenden.
Unser Motto lautet:
Informelle Vorträge – Praktische Anwendungen – Formale Methoden
Informelle Vorträge sollen dazu beitragen, dass die Vorbereitung eines Vortrags nicht zu aufwändig ist. Es muss nicht immer die Latex-Beamer-Präsentation sein: Ein Vortrag am Whiteboard oder eine Demonstration von Werkzeugen oder Techniken tut’s auch.
Praktische Anwendungen für (LEGO-) Roboter, Web und Digitale Bildverarbeitung klingen nicht nur spannend — sie sind es.
Formale Methoden sind das Fundament auf dem das funktionale Programmieren aufbaut. Diese Methoden geben uns eine Sicherheit, die anderen Ansätzen oft fehlen: Beispiele sind Typsicherheit zur Kompilierzeit, Seiteneffektfreiheit zur Laufzeit.
Dabei reizt uns insbesondere das Spannungsfeld zwischen der Praxis und dem Nutzen von Formalen Methoden.
Wir freuen uns auf Dich!
Kontakt unter kontakt@hasta-do.de
