> I'm afraid the combination of type classes with modules and functors
> is not trivial either.
Actually, in "Modular Type Classes", Derek Dreyer et al. argue fairly
convincingly that they can be combined in a natural way.
Of course, there's still the question of whether it all works out when
you add objects, polymorphic variants, ...
Stefan
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
