separate class and type namespace

Taral taralx at
Tue Jan 31 02:52:44 EST 2006

On 1/30/06, John Meacham <john at> wrote:
> What do people think about seperating the class and type namespaces? one
> can always tell the difference syntactically which is meant, the only
> thing keeping them in the same space in jhc is an artificial check to ensure
> you don't create some of the same name.

I like the idea. It would merge well with the existential type for
single-parameter classes proposal.

Taral <taralx at>
"Computer science is no more about computers than astronomy is about
    -- Edsger Dijkstra

More information about the Haskell-prime mailing list