On Wednesday 06 November 2002 10:48 pm, Nicolas Oury wrote: > I am going to try to persuade you: > > * first of all, it seems to be needed in order to make "first class > modules" (cf your paper) . And I think that a true module system would > be useful. But I may be wrong. > > * As far as I am concerned, in fact, I need it to do something on the > typing of problems like database queries, where the naming is quite > concerning. I think for example, HaskellDB (don't know if it was this > actually the name) was doing something like this. > > * It would be used : it is easy to understand, safe and avoid to rename > with different names some fields that should have the same name. > > * ... > > I could try find other reasons tomorrow.
I'll second this request. I would also like a better records and/or first class modules system with extensibility and sub-typing or row polymorphism (not sure which is best or most feasible). I would also like to be able to use field names properly with extistentials. (Hmm, I suspect having existentials and extentsibility is difficult?) Also, is there some good technical reason why we can't allow punning? My wish list anyway. Thanks -- Adrian Hey _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users