„Programming languages on the whole are very much more complicated than they used to be: object orientation, inheritance, and other features are still not really being thought through from the point of view of a coherent and scientifically well-based discipline or a theory of correctness. My original postulate, which I have been pursuing as a scientist all my life, is that one uses the criteria of correctness as a means of converging on a decent programming language design—one which doesn’t set traps for its users, and ones in which the different components of the program correspond clearly to different components of its specification, so you can reason compositionally about it. [... ] The tools, including the compiler, have to be based on some theory of what it means to write a correct program.“

—  C. A. R. Hoare, Oral history interview http://hdl.handle.net/11299/107362 by Philip L. Frana, 17 July 2002, Cambridge, England; Charles Babbage Institute, University of Minnesota.
C. A. R. Hoare Foto
C. A. R. Hoare
informático teórico del Reino Unido 1934
Anuncio

Citas similares

Grady Booch Foto
Anuncio
Alan Kay Foto

„... greatest single programming language ever designed. (About the Lisp programming language.)“

—  Alan Kay computer scientist 1940
2003. Daddy, Are We There Yet? A Discussion with Alan Kay http://www.openp2p.com/pub/a/p2p/2003/04/03/alan_kay.html

Edsger W. Dijkstra Foto
Richard Stallman Foto

„If the users don't control the program, the program controls the users. With proprietary software, there is always some entity, the "owner" of the program, that controls the program—and through it, exercises power over its users. A nonfree program is a yoke, an instrument of unjust power.“

—  Richard Stallman American software freedom activist, short story writer and computer programmer, founder of the GNU project 1953
Free Software Is Even More Important Now (September 2013) https://www.gnu.org/philosophy/free-software-even-more-important.html

Richard Stallman Foto
Grady Booch Foto
Anuncio
Doug McIlroy Foto

„Word and Excel and PowerPoint and other Microsoft programs have intimate — one might say promiscuous — knowledge of each others' internals. In Unix, one tries to design programs to operate not specifically with each other, but with programs as yet unthought of.“

—  Doug McIlroy American computer scientist, mathematician, engineer, and programmer 1932
Doug McIlroy (2003). The Art of Unix Programming: The Elements of Operating-System Style http://www.catb.org/esr/writings/taoup/html/ch03s01.html

John McCarthy Foto

„One can even conjecture that Lisp owes its survival specifically to the fact that its programs are lists, which everyone, including me, has regarded as a disadvantage.“

—  John McCarthy American computer scientist and cognitive scientist 1927 - 2011
John McCarthy, " History of Lisp http://www-formal.stanford.edu/jmc/lisp/lisp.html," 12 February 1979; republished at www-formal.stanford.edu.

Richard Stallman Foto

„My favorite programming languages are Lisp and C. However, since around 1992 I have worked mainly on free software activism, which means I am too busy to do much programming. Around 2008 I stopped doing programming projects.“

—  Richard Stallman American software freedom activist, short story writer and computer programmer, founder of the GNU project 1953
How I do my computing (2006) http://stallman.org/stallman-computing.html

Anuncio
George Marshall Foto

„You know, I know, all of us know that the time factor is the vital consideration — and vital is the correct meaning of the term — of our national defense program“

—  George Marshall US military leader, Army Chief of Staff 1880 - 1959
Context: You know, I know, all of us know that the time factor is the vital consideration — and vital is the correct meaning of the term — of our national defense program; that we must never be caught in the same situation we found ourselves in 1917. Speech to the Army ordinance Association (11 October 1939); The Papers of George Catlett Marshall Vol 2 (1986) by the George C. Marshall Foundation http://www.marshallfoundation.org/index.html, Ch. 2 "The Time Factor"

John McCarthy Foto

„Program designers have a tendency to think of the users as idiots who need to be controlled. They should rather think of their program as a servant, whose master, the user, should be able to control it. If designers and programmers think about the apparent mental qualities that their programs will have, they'll create programs that are easier and pleasanter — more humane — to deal with.“

—  John McCarthy American computer scientist and cognitive scientist 1927 - 2011
" The Little Thoughts of Thinking Machines http://www-formal.stanford.edu/jmc/little.html", Psychology Today, December 1983, pp. 46–49. Reprinted in Formalizing Common Sense: Papers By John McCarthy, 1990,

Richard Stallman Foto

„You see, some people have a talent for programming. At ten to thirteen years old, typically, they're fascinated, and if they use a program, they want to know: “How does it do this?” But when they ask the teacher, if it's proprietary, the teacher has to say: “I'm sorry, it's a secret, we can't find out.” Which means education is forbidden. A proprietary program is the enemy of the spirit of education. It's knowledge withheld, so it should not be tolerated in a school, even though there may be plenty of people in the school who don't care about programming, don't want to learn this. Still, because it's the enemy of the spirit of education, it shouldn't be there in the school.
But if the program is free, the teacher can explain what he knows, and then give out copies of the source code, saying: “Read it and you'll understand everything.” And those who are really fascinated, they will read it! And this gives them an opportunity to start to learn how to be good programmers.
To learn to be a good programmer, you'll need to recognize that certain ways of writing code, even if they make sense to you and they are correct, they're not good because other people will have trouble understanding them. Good code is clear code that others will have an easy time working on when they need to make further changes.
How do you learn to write good clear code? You do it by reading lots of code, and writing lots of code. Well, only free software offers the chance to read the code of large programs that we really use. And then you have to write lots of code, which means you have to write changes in large programs.
How do you learn to write good code for the large programs? You have to start small, which does not mean small program, oh no! The challenges of the code for large programs don't even begin to appear in small programs. So the way you start small at writing code for large programs is by writing small changes in large programs. And only free software gives you the chance to do that.“

—  Richard Stallman American software freedom activist, short story writer and computer programmer, founder of the GNU project 1953
A Free Digital Society - What Makes Digital Inclusion Good or Bad? http://www.gnu.org/philosophy/free-digital-society.html#education; Lecture at Sciences Po in Paris (19 October 2011)]

Fred Brooks Foto
Siguiente