From: Martin DeMello <martindemello@...>
Date: 2003-11-19T07:22:19+09:00
Subject: Re: "stereotyping" (was: Re: Strong Typing (Re: Managing metadata	about attribute types) )<Pine.LNX.4.44.0311171402340.1133-100000@ool-435	5dfae.dyn.optonline.net>

Simon Kitching <simon@ecnetwork.co.nz> wrote:
> 
> I expect that some people will put forward the idea that some class
> might be invented that happens to also fulfil the IO contract without
> being explicitly marked so, and that checking for the "IO" marker would
> disallow passing this class. Well I think the chances of a class
> happening to exactly fulfil a contract without that contract ever have
> being taken into consideration is smaller than the chance of us all
> being wiped out by an asteroid.

And moreover you could reopen the class and mixin IO.

martin