Re: Re: class proposal 2

Mark Hahn wrote:
> Greg Ewing wrote:

>> This looks interesting, but something doesn't seem quite right about
>> it. If class methods are to be methods of the class in the same way
>> that instance methods are methods of the instance, they should be kept
>> in the instance-method-area of the class's class, not in the class.
>>
>> Classes in this proposal don't seem to have classes. In other words,
>> they're not themselves objects within their own paradigm.  In this
>> respect, they're more like old-style Python classes.  To a Python
>> person, this will seem like a backward step.

> I knew someone would ask for metaclasses. :-)

> I"ll see if I can fix my proposal to add this property.  Feel free to help
> me out here.

metaclasses:

class X(Y):
    class(myMetaClass):
        ...
    instance:
        ...

By default myMetaClass is Type. It is also equal to:

class X(Y):
    class:
        type_ = myMetaClass
        ...
    instance:
        ...

  -- Serge