Darren New wrote:
> Warp wrote:
>> Orchid XP v8 <voi### [at] devnull> wrote:
>>> Eiffel has preconditions *and* postconditions, which most people don't
>>> seem to bother checking with assert() calls.
>> 
>>   A little thought experiment: How would you write a comprehensive
>> postcondition to a function that sorts a list/array of elements?
> 
> Trivial.
> 
> Forall(i < length-1) assert(j[i]<=j[i+1]);
> 
> Basically, the definition of sorting. Of course, you need to be able to
> put qualifiers in your assertions.}

A sorting function that, given any input, returns [1,2,3,4,5], will pass 
that test.

Try again.

Post a reply to this message