ML Modules and Haskell Type Classes: A Constructive Comparison

Stefan Wehr and Manuel M. T. Chakravarty.

In Proceedings of The Sixth ASIAN Symposium on Programming Languages and Systems - APLAS 2008, Springer-Verlag, LNCS, 2008.

Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation. The work at hand fills this gap: It introduces type-preserving translations from modules to type classes and vice versa, which enable a thorough comparison of the two concepts.

PDF version (16 pages)

This page is part of Manuel Chakravarty's WWW-stuff.