From: Pit Capitain Date: 2001-08-16T22:37:48+09:00 Subject: [ruby-talk:19894] Re: Why not?: Assigning to self On 16 Aug 2001, at 21:00, Tobias Reif wrote: > > Searching the web for something like rectangle/become/square I > > found a language called cecil, that has so called predicate > > subclasses, which seem to offer this functionality. See > > http://www.cs.washington.edu/research/projects/cecil/cecil/www/ce > > cil-home.html > > An example: > > ... > template object rectangle isa shape; > ... > > http://www.students.stedwards.edu/~jgrover/language%20summary.html#Anchor-Exampl-11005 Too bad they don't implement Square... Do you know a link where the usage of predicate subclasses is shown? Pit