27 Nov
2009
27 Nov
'09
3:04 p.m.
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@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH