Re: [boost] sorting library proposal (Was: Review Wizard Status Report for June 2009)o

Subject: Re: [boost] sorting library proposal (Was: Review Wizard Status Report for June 2009)o
From: Edouard A. (edouard_at_[hidden])
Date: 2009-06-03 10:57:06

>> What matters is that a reasonable degree of assurance regarding
>> correctness
>> and performance can be given. This concerns the library as a whole, not
>> just whatever algorithm(s) it may use.
> 
> So how do we define "reasonable degree of assurance"?

Defining it would be like building Mathematics all over again... ;)

We can however agree on some guidelines I guess.

Actually, I think when a reviewer has got a doubt about the underlying
algorithm, he/she has got no choice but to carefully review the algorithm
itself. 

Formality is a tool, not a goal.

-- 
EA