Am 29.11. um 16:15 hält Herr Stefan Wehr im Raum 079-00-019 einen
Vortrag zur Vorstellung der Ergebnisse seiner Diplomarbeit.

ML Module und Haskell Typklassen: Ein konstruktiver Vergleich

Es wurde bereits mehrfach festgestellt, dass das ML Modulsystem und
der Typklassenmechanismus von Haskell Aehnlichkeiten aufweisen.  Bis
zum heutigen Zeitpunkt wurde dieser Zusammenhang allerdings nicht
formal untersucht. Die vorliegende Diplomarbeit fuellt diese Luecke
durch einen konstruktiven Vergleich zwischen Modulen in ML und
Typklassen in Haskell; die Arbeit entwickelt also zwei formale
Uebersetzungen zwischen Modulen und Typklassen, die einen
detaillierten Vergleich zwischen den beiden Konzepten ermoeglichen.

Im Vortrag werde ich die beiden Uebersetzungen anhand von Beispielen
vorstellen und kurz auf formale Eigenschaften und Implementierungen
der Uebersetzungen eingehen. Anschliessend praesentiere ich den durch
die Uebersetzungen ermoeglichten Vergleich zwischen ML Modulen und
Haskell Typklassen.

Die Diplomarbeit und die Implementierungen stehen unter
http://www.stefanwehr.de/diplom/ zur Verfuegung.



ML Modules and Haskell Type Classes: A Constructive Comparison

Researchers repeatedly observed that the module system of ML and the
type class mechanism of Haskell are related.  So far, this
relationship has not been formally investigated.  The work at hand
fills this gap by presenting a constructive comparison between ML
modules and Haskell type classes; that is, it introduces two formal
translations from modules to type classes and vice versa, which enable
a thorough comparison of the two concepts.

In the talk, I will introduce the two translations by a series of
examples, and discuss formal properties and implementations of both
translations briefly. Furthermore, I will present a comparison between
ML modules and Haskell type classes that builds on the insights
obtained from the translations.

The thesis and the implementations are available from
http://www.stefanwehr.de/diplom/.