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. Lecture Notes in Computer Science, vol. 5356, Bangalore, India. Springer, 2008.

Abstract

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.

Bibtex

@INPROCEEDINGS{WehrChakravarty2008,
  author = {Stefan Wehr and Manuel M. T. Chakravarty},
  title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
  booktitle = {Proceedings of the Sixth Asian Symposium on Programming Languages and Systems},
  address = {Bangalore, India},
  year = 2008,
  volume = 5356,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}

Resources

• Preprint: .pdf (© Springer-Verlag)
• This article is a short version of my diploma thesis.
• Talk at APLAS 2008: .pdf
• Implementations: Translation from ML modules to Haskell type classes , Translation from Haskell type classes to ML modules.
• Acceptance rate: 48.8 % (41 papers reviewed, 20 accepted)