[Haskell-cafe] Haskell and Standard ML modules

Stephen Tetley stephen.tetley at gmail.com
Sun Jul 4 09:18:06 EDT 2010

Parameterized modules are probably the easiest solution.


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

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:

More information about the Haskell-Cafe mailing list