in reply to Re^10: Better mousetrap (getting top N values from list X)
in thread Better mousetrap (getting top N values from list X)

But the promise of provably correct code does not imply that you'll never code any errors.
Beware of bugs in the above code; I have only proved it correct, not tried it.
                    -- Donald E. Knuth in a memo to Peter van Emde Boas
  • Comment on Re^11: Better mousetrap (getting top N values from list X)

In Section Seekers of Perl Wisdom