[contest] Is a Cow an animal ++

[BCS]

Hello Simen,

> BCS <none at anon.com> wrote:
> 
>> Checking that the sequence of member function calls on an object is
>> valid is limited by how good your static analysts is. The type system
>> *can't* help you as the exact same code may or may not be valid
>> depending on arbitrary external aspects.
>> 
> You are of course correct. Some such analysis could still be
> performed, and the examples you give would simply leave the typestate
> in an indeterminate state.
> 

Having code that's "leagal unless proven guilty" doesn't sound like a good 
idea to me.

-- 
... <IXOYE><