Stories
Slash Boxes
Comments
NOTE: use Perl; is on undef hiatus. You can read content, but you can't post it. More info will be forthcoming forthcomingly.

All the Perl that's Practical to Extract and Report

The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
 Full
 Abbreviated
 Hidden
More | Login | Reply
Loading... please wait.
  • by mr_bean (3802) on 2008.05.09 0:18 (#62770) Journal
    He also said Beware of bugs in the above code; I have only proved it correct, not tried it.

    So I would have thought he would be sympathetic to testing. Either the reason is as you say, he is a high-flying academic, or perhaps I didn't understand what he was trying to say in the saying.

    Perhaps he is like the haskellers who feel getting it to compile is the evidence they need that it works. And that any uncertainty you have you have to live with.

    Perhaps the way he understands bugs is different.

    This quote from him from Nikolai Bezroukov. Portraits of Open Source Pioneers [softpanorama.org] titled, Ch.2 Donald Knuth: Leonard Euler of Computer Science/Literate programming:

    "Without wanting to be elitist, the thing that will prevent literate programming from becoming a mainstream method is that it requires thought and discipline. The mainstream is established by people who want fast results while using roughly the same methods that everyone else seems to be using, and literate programming is never going to have that kind of appeal. This doesn't take away from its usefulness as an approach."

    suggests an ivory-tower disinterest in practice as opposed to theory, at the same time as the idea of literate programming does seem software-engineering-oriented.