From MIT Electrical Engineering and Computer Science
Structure and Interpretation of Computer Programs, Second Edition
By Harold Abelson and Gerald Jay Sussman
With Julie Sussman
https://mitpress.mit.edu/sicp/
Lisp itself can be assigned a semantics (another model, by the way),
and if a program's function can be specified, say, in the predicate calculus,
the proof methods of logic can be used to make an acceptable correctness argument.
Unfortunately, as programs get large and complicated, as they almost always do,
the adequacy, consistency, and correctness of the specifications themselves become
open to doubt, so that complete formal arguments of correctness seldom accompany large programs.
Since large programs grow from small ones, it is crucial that we develop an
arsenal of standard program structures of whose correctness we have become sure --
we call them idioms -- and learn to combine them into larger structures
using organizational techniques of proven value.
These techniques are treated at length in this book, and understanding them is essential
to participation in the Promethean enterprise called programming.
More than anything else, the uncovering and mastery of powerful organizational techniques
accelerates our ability to create large, significant programs.
Conversely, since writing large programs is very taxing,
we are stimulated to invent new methods of reducing the mass of function and detail
to be fitted into large programs.
Этот комментарий был удален администратором блога.
ОтветитьУдалить