[Haskell-cafe] namespaces for values, types, and classes

[Brandon S. Allbery KF8NH]

On Nov 27, 2009, at 06:42 , Martijn van Steenbergen wrote:
> Sebastian Fischer wrote:
>> Does anyone know why types and values are in separate namespaces  
>> but classes and types are not?
>
> Good question. I don't know the answer, but it is interesting to  
> note that the report explicitly mentions this decision (but provides  
> no reason):
>
> "An identifier must not be used as the name of a type constructor  
> and a class in the same scope."


My guess is to make it easier to catch the error of using a class name  
as a type.

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH


-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20091127/acaa6a79/PGP.bin