Language vision regarding safety guarantees

Evian-Zhang: > What is the difference for the library author when writing the code that guarantees a stable sort for logic or for safety? ia0: > (because they are usually quite complex and not worth bothering to get them completely right) So the difference is in whether you're careful enough in making sure the sorting algorithm is implemented correctly with no bugs? Such a threshold seems completely undefined and arbitrary, and thus meaningless.