John Zabroski wrote:

> the three stumbling blocks are size, complexity and trustworthiness


How are these different?

A small program is a simple program by definition, assuming it's expressed
in an intuitively comprehensible way. And a simple program is a program I
can trust to do what I think it does. Conversely, the only reason I wouldn't
trust a program (assuming I trust the compilers/interpreters) is because it
would be too complicated to understand. That's what I meant when I quoted
SPJ earlier:

"Tony Hoare has this wonderful turn of phrase in which he says your code
> should obviously have no bugs rather than having no obvious bugs. So for me
> I suppose beautiful code is code that is obviously right. It's kind of
> limpidly transparent." -Simon Peyton Jones, from Peter Seibel's "Coders At
> Work"


Cheers,
Andrey
_______________________________________________
fonc mailing list
[email protected]
http://vpri.org/mailman/listinfo/fonc

Reply via email to