On 23/03/2010 3:55 PM, Jonathan S. Shapiro wrote: > Setting aside my continuing distaste for their sealed classes, the > Oliveira/Sulzmann scheme has some advantages from the BitC perspective.
Did you elaborate on this anywhere? I must have missed it. Sealed classes bring algebraic types under the same abstraction mechanism, and it seems pretty elegant to me. By closing the set of constructors that can implement the class, you can ensure exhaustive pattern matching. Do you have a better way to integrate algebraic types into this framework? Sandro > Mainly, it cleans up some of the mess introduced by DEFOBJECT by > effectively merging DEFOBJECT and DEFINSTANCE. This much seems good. > > But that still leaves us me with the desire to deal with the following > issues: > > - Type (single) inheritance through C++/Java/C#-style subclassing > - Virtual methods > > I do not claim that either feature is particularly desirable, but I am > concerned that they are a practical necessity for successful interoperation. > > > > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
