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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
