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

David Menendez dave at zednenem.com
Wed Jul 9 13:42:52 EDT 2008

On Wed, Jul 9, 2008 at 1:03 AM, wren ng thornton <wren at freegeek.org> wrote:
> What I would like to see is the ability to do (1) module renaming, (2)
> qualified import, (3) unqualified import, and (4) hiding all in a single
> declaration with a regular syntax. For example:
>    import Data.Map as Map
>        unqualified (Map, (\\))
>        qualified   (lookup, map, null)
>        hiding      (filter)

I've often thought it would be for Haskell to steal Agda's module
syntax. It does pretty much everything you want (plus some other stuff
we maybe don't need) and the various things it does fit together

Dave Menendez <dave at zednenem.com>

More information about the Haskell-Cafe mailing list