[Haskell-cafe] Haskell and Standard ML modules

[Stephen Tetley]

Parameterized modules are probably the easiest solution.

http://web.cecs.pdx.edu/~sheard/papers/JfpPearl.ps

Sometimes you can achieve analogues to SML signatures with type
classes, however in the case of FRAME (p.260), quite a few of the
"methods" don't actually use the abstract frame type so a type class
isn't strictly a good fit (see the discussion on page 13 of the paper
above).

There is a least one of paper giving a rigorous comparison of SML
functors and Haskell type classes, unfortunately I can't remember the
authors. The link below is a (long) thesis:
http://www.informatik.uni-freiburg.de/~wehr/publications/Wehr_ML_modules_and_Haskell_type_classes.pdf