separate class and type namespace

John Meacham john at
Mon Jan 30 22:42:14 EST 2006

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.

the only issue is in export/import lists if you wanted to allow
import/export of the type independently of the class. however the
proposed explicit namespace change to the import/export syntax would
solve this too and it is unlikely to actually be a problem in practice.

this would allow things like one to have a class and a data type holding
an arbitrary member of said class to have the same name. it is unwieldy
to have things like FooClass and Foo be separate.


John Meacham - ⑆⑆john⑈ 

More information about the Haskell-prime mailing list