[Style] Some minor changes
This commit is contained in:
parent
6ec7fc496b
commit
75edb5a064
|
@ -5,7 +5,7 @@
|
||||||
@nested[#:style 'inset]{ Favor readers over writers.
|
@nested[#:style 'inset]{ Favor readers over writers.
|
||||||
--- Yaron Minsky, JaneStreet, 2010 at Northeastern}
|
--- Yaron Minsky, JaneStreet, 2010 at Northeastern}
|
||||||
|
|
||||||
Write code that is correct; maintainable; and fast. The ordering of this
|
Write code that is correct; maintainable; and fast. The ordering of these
|
||||||
adjectives is critical: correct is more important than maintainable;
|
adjectives is critical: correct is more important than maintainable;
|
||||||
maintainable is more important than fast; and fast is important to include,
|
maintainable is more important than fast; and fast is important to include,
|
||||||
because nobody wants to live with slow programs.
|
because nobody wants to live with slow programs.
|
||||||
|
@ -31,14 +31,14 @@ watching Matthew, Robby, Shriram and others create the original code base}
|
||||||
|
|
||||||
Correctness is a perfectionist goal beyond the reach of PLT. All software
|
Correctness is a perfectionist goal beyond the reach of PLT. All software
|
||||||
has mistakes. If they are unknown, the software isn't being used. The goal
|
has mistakes. If they are unknown, the software isn't being used. The goal
|
||||||
is, however, not to ensure some basic level of correctness before a
|
is, however, to ensure some basic level of correctness before a
|
||||||
feature is released and to ensure that the same mistake isn't introduced
|
feature is released and to ensure that the same mistake isn't introduced
|
||||||
again.
|
again.
|
||||||
|
|
||||||
Formulate test suites. Use unit testing. Use random testing. Use fuzz
|
Formulate test suites. Use unit testing. Use random testing. Use fuzz
|
||||||
testing. Test!
|
testing. Test!
|
||||||
|
|
||||||
Run the test suites before you commit. Read drdr's emails; don't ignore
|
Run the test suites before you commit. Read DrDr's emails; don't ignore
|
||||||
them.
|
them.
|
||||||
|
|
||||||
Add tests to test suites during debugging. That is, first, write an
|
Add tests to test suites during debugging. That is, first, write an
|
||||||
|
@ -112,8 +112,8 @@ elsewhere.
|
||||||
|
|
||||||
Just as for correctness, strive for basic tests, that is, tests that
|
Just as for correctness, strive for basic tests, that is, tests that
|
||||||
exercise your code on reasonably large inputs. While a regular test suite
|
exercise your code on reasonably large inputs. While a regular test suite
|
||||||
for a universe display deal with a 50 x 50 display window, the stress test
|
for a Universe display deals with a 50 x 50 display window, the stress test
|
||||||
suite should check whether universe event handlers and drawing routines
|
suite should check whether Universe event handlers and drawing routines
|
||||||
can cope with laptop size displays or even a 30in display. Or, if you were
|
can cope with laptop size displays or even a 30in display. Or, if you were
|
||||||
to write a library for a queue data structure, a regular test suite
|
to write a library for a queue data structure, a regular test suite
|
||||||
ensures that it deals correctly with enqueue and dequeue for small
|
ensures that it deals correctly with enqueue and dequeue for small
|
||||||
|
|
|
@ -51,7 +51,7 @@ racket
|
||||||
(redirect (- x)))
|
(redirect (- x)))
|
||||||
]
|
]
|
||||||
|
|
||||||
@margin-note{we need more of these rules}
|
@margin-note{We need more of these rules}
|
||||||
|
|
||||||
@; -----------------------------------------------------------------------------
|
@; -----------------------------------------------------------------------------
|
||||||
@section{Line Breaks}
|
@section{Line Breaks}
|
||||||
|
@ -97,7 +97,7 @@ racket
|
||||||
(define width (* 10 x)) (define height (* 3 x))
|
(define width (* 10 x)) (define height (* 3 x))
|
||||||
...)
|
...)
|
||||||
]
|
]
|
||||||
@margin-note{we need more of these rules}
|
@margin-note{We need more of these rules}
|
||||||
|
|
||||||
@; -----------------------------------------------------------------------------
|
@; -----------------------------------------------------------------------------
|
||||||
@section{Line Width}
|
@section{Line Width}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user