Re: implementation for subset types

2006-11-27 Thread TSa
HaloO, Jonathan Lang wrote: subset Rectangle of class { is Polygon; method width { ... } method height { ... } ... } where { [EMAIL PROTECTED] == 4 && ...} ? Anonymous classes are useful things. This is weird. The Polygon object shall be dynamically classified as a Rectangle de

Re: implementation for subset types

2006-11-24 Thread Jonathan Lang
TSa wrote: HaloO, I want to propose a little addition to subset type definitions. They should get an implementation body like classes and roles. This is useful to add methods to the type. Here is my Rectangle example from the 'how to change the type of objects' thread. # @.points contains Point

implementation for subset types

2006-11-24 Thread TSa
HaloO, I want to propose a little addition to subset type definitions. They should get an implementation body like classes and roles. This is useful to add methods to the type. Here is my Rectangle example from the 'how to change the type of objects' thread. # @.points contains Point objects sub