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 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.

• Type: Conference
• Year: 2008
• Where: APLAS
• Authors: Stefan Wehr, Manuel M. T. Chakravarty
• Keywords: APLAS 2008, Hand Fills, Little Formal Investigation, Programming Languages, Type Class Mechanism