Re: [Haskell-cafe] Qualified import syntax badly designed (?)

David Menendez wrote:

Jason Dusek wrote:

...

David Menendez wrote:

...

I've often thought it would be for Haskell to steal Agda's module syntax.

What does that look like? I've been looking for some kind of documentation for ~20 minutes and I still can't find an example of an import.

There's a description on their wiki at http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Docs.ModuleSystem.

Thanks. That system is pretty neat -- I wish we had it. Without parameterized modules, we are reduced to a kind of warty singleton pattern -- or IORefs, as you mention. -- _jsn