First Class Modules? was Re: Are anonymous type classes the right model at all?

Adrian Hey
Mon, 8 Jan 2001 04:57:17 +0000 (GMT)


All this talk about Haskell classes, ML modules and improved record types
reminds me of the rumours of a "First Class Modules" system for Haskell,
but the only documentation I found was a fairly brief document that looked
like an application for a research grant. So...

Could somebody explain what a first class module is?
How does it differ from a record?
What could I do with a first class module (if Haskell provided them)?

Adrian Hey