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

[Jason Dusek]

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