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?
(Assume there is no reliable third-party sorting function available.)

-- 
                                                          - Warp

Post a reply to this message