apparently you can add "static" like method on a class (at least this  
will be in 3.0).
So this is not really class extension.

By the way I show the slides to an excellent expert on type systems  
from SUN and
he said that the idea of dependent types were really not good. :)

Stef


>  C# 2.0 can do what, can you be more precise?
>
>> -----Original Message-----
>> From: squeak-dev-bounces at lists.squeakfoundation.org
>> [mailto:squeak-dev-bounces at lists.squeakfoundation.org] On
>> Behalf Of Douglas Rollwitz
>> Sent: Tuesday, February 07, 2006 8:16 PM
>> To: nicolas at roard.com; The general-purpose Squeak developers list
>> Subject: Re: An interesting presentation and discussion
>>
>>
>> To me, horizontal subclassing would be similar to extending a
>> class in ENVY in another application from where it was
>> defined.  C# 2.0 can do this too.
>
>