[Haskell-cafe] Type Directed Name Resolution

[Richard O'Keefe]

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

> On 11 November 2010 01:19, Richard O'Keefe <ok at cs.otago.ac.nz> 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.