4 Jul
2010
4 Jul
'10
9:18 a.m.
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...