|
|
|
|
|
|
by eru
6229 days ago
|
|
|
Xmonad [1] makes for an interesting example. Through refactoring, writing tests with QuickCheck and sharp thinking the authors found ways to make the paths to simpler design and correctnes lead in the same direction. They used data structures that embodied more domain knowledge. Thus they eliminated the need for many runtime error checks. [1] See http://cgi.cse.unsw.edu.au/~dons/blog/2007/05/01 |
|
|