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

9 Jul 2008


      David Menendez <dave@zednenem.com> wrote:
...
Jason Dusek <jason.dusek@gmail.com> wrote:
...
David Menendez <dave@zednenem.com> 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