On Thu, Aug 14, 2008 at 7:46 AM, Jim Farrand <[EMAIL PROTECTED]> wrote: > 2008/8/14 Peng Zang <[EMAIL PROTECTED]>: > >> In Haskell you can write a function that takes anything that is "showable" (a >> type class) and print it out. The sig would be something like (I'm mixing >> OCaml and Haskell syntax here, but hopefully the point is still clear): > > Out of curiosity, are there any theoretical reasons why OCaml could > not be extended with type classes? They are one of my favourite > features of Haskell, and I think they would really improve OCaml.
It could be done. See this paper from POPL '07: http://portal.acm.org/citation.cfm?id=1190215.1190229 Cheers, -n8 -- >>>-- Nathaniel Gray -- Caltech Computer Science ------> >>>-- Mojave Project -- http://mojave.cs.caltech.edu --> _______________________________________________ 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