Re: [Haskell-cafe] Type Directed Name Resolution

On 12/11/2010, at 3:22 AM, Ozgur Akgun wrote:

On 11 November 2010 01:19, Richard O'Keefe wrote: I'm not sure that it is desirable to have "many records in the same module" in the first place.

Amongst other reasons, http://www.haskell.org/haskellwiki/Mutually_recursive_modules

The Programatica project showed that recursive modules *could* be implemented; if I remember correctly, their module resolution code was in pure Haskell 98. However, I'll grant you the incomplete implementation status of Haskell98 as an argument for fusing what would have been mutually recursive modules (although I suspect that two-level types may be better). That still isn't an argument for >>MANY<< records in the same module.