[Haskell-cafe] Qualified import syntax badly designed (?)
jason.dusek at gmail.com
Wed Jul 9 19:25:28 EDT 2008
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
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.
More information about the Haskell-Cafe