On Fri, Mar 19, 2010 at 5:04 PM, Michal Suchanek <[email protected]>wrote:
> On 20 March 2010 00:43, Jonathan S. Shapiro <[email protected]> wrote: > > On Fri, Mar 19, 2010 at 3:49 PM, Michal Suchanek <[email protected]> > wrote: > >> > >> > 1. How important is inheritance in the eyes of people here? > >> > >> I personally like some sort of inheritance in terms of > >> > >> 1) having some sort of objects > >> > >> 2) having the ability to extend the objects > > > > To what degree does record polymorphism address this sufficiently? The > > main difference between record polymorphism and inheritance is the > > possibility of virtual functions. > > I would say that virtual functions in one form or another are one of > the cornerstones of a typical OO languages because they are exactly > the feature used for extending objects. > > The same can be probably done without inheritance and virtual methods > by defining an interface and implementing it differently in different > objects. > Okay. So now please go look at the BitC "capsule" and "method" notions, and see if you can work out a translation...
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
