I'm just looking into Felix, and noticed that it supports type classes and modules. Are the modules like ML modules? If so, I was wondering whether you were aware of the paper "Modular Type Classes", where type classes are derived as a restricted use of ML modules:
http://www.cse.unsw.edu.au/~chak/papers/DHC07.html Might help simplify the compiler. Also, the reference manual does not describe the module or type class language; is there are any reference on those I can browse? Sandro ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
